``` In[1]:= " \[DoubleLongRightArrow] " ``` (hangs unresponsive) desired: ``` In[3]:= " \[DoubleLongRightArrow] " Out[3]= ⟹ ```