154 \<rat> code: 0x00211a group: letter |
154 \<rat> code: 0x00211a group: letter |
155 \<real> code: 0x00211d group: letter |
155 \<real> code: 0x00211d group: letter |
156 \<int> code: 0x002124 group: letter |
156 \<int> code: 0x002124 group: letter |
157 \<leftarrow> code: 0x002190 group: arrow abbrev: <. |
157 \<leftarrow> code: 0x002190 group: arrow abbrev: <. |
158 \<longleftarrow> code: 0x0027f5 group: arrow abbrev: <. |
158 \<longleftarrow> code: 0x0027f5 group: arrow abbrev: <. |
|
159 \<longlongleftarrow> code: 0x00290e group: arrow abbrev: <. |
|
160 \<longlonglongleftarrow> code: 0x0021e0 group: arrow abbrev: <. |
159 \<rightarrow> code: 0x002192 group: arrow abbrev: .> abbrev: -> |
161 \<rightarrow> code: 0x002192 group: arrow abbrev: .> abbrev: -> |
160 \<longrightarrow> code: 0x0027f6 group: arrow abbrev: .> abbrev: --> |
162 \<longrightarrow> code: 0x0027f6 group: arrow abbrev: .> abbrev: --> |
|
163 \<longlongrightarrow> code: 0x00290f group: arrow abbrev: .> abbrev: ---> |
|
164 \<longlonglongrightarrow> code: 0x0021e2 group: arrow abbrev: .> abbrev: ----> |
161 \<Leftarrow> code: 0x0021d0 group: arrow abbrev: <. |
165 \<Leftarrow> code: 0x0021d0 group: arrow abbrev: <. |
162 \<Longleftarrow> code: 0x0027f8 group: arrow abbrev: <. |
166 \<Longleftarrow> code: 0x0027f8 group: arrow abbrev: <. |
163 \<Rightarrow> code: 0x0021d2 group: arrow abbrev: .> abbrev: => |
167 \<Rightarrow> code: 0x0021d2 group: arrow abbrev: .> abbrev: => |
164 \<Longrightarrow> code: 0x0027f9 group: arrow abbrev: .> abbrev: ==> |
168 \<Longrightarrow> code: 0x0027f9 group: arrow abbrev: .> abbrev: ==> |
165 \<leftrightarrow> code: 0x002194 group: arrow abbrev: <> abbrev: <-> |
169 \<leftrightarrow> code: 0x002194 group: arrow abbrev: <> abbrev: <-> |