1
$\begingroup$

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

$\endgroup$

Browse other questions tagged .