1
$\begingroup$

Do and denote the same concept? If so, they should be merged.

| |
$\endgroup$

Browse other questions tagged .