<entity name="to" value="→"/> <!-- → -->
<entity name="divides" value="∣"/> <!-- ∣ -->
<entity name="ndivides" value="∤"/> <!-- ∤ -->
<entity name="to" value="→"/> <!-- → -->
<entity name="divides" value="∣"/> <!-- ∣ -->
<entity name="ndivides" value="∤"/> <!-- ∤ -->