lib/encodings/isabelle-0
changeset 9960 07521b6eb888
parent 9818 71de955e8fc9
equal deleted inserted replaced
9959:4a2ae974043d 9960:07521b6eb888
   100 midarrow
   100 midarrow
   101 rightarrow
   101 rightarrow
   102 Leftarrow
   102 Leftarrow
   103 Midarrow
   103 Midarrow
   104 Rightarrow
   104 Rightarrow
   105 bow
   105 frown
   106 mapsto
   106 mapsto
   107 leadsto
   107 leadsto
   108 up
   108 up
   109 down
   109 down
   110 notin
   110 notin