Character Translation applies to all output except for certain directed lines.
MMD hides HTML's special treatment of the characters <, >, and &. Thus < translates to HTML as < which displays as <.
Input to MMD is UTF-8 and any Unicode characters that can be displayed can be used.
Thus ∇ translates to HTML ∇ which displays as ∇.