asciimath 1.0.9 → 2.0.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +5 -5
- data/AST.adoc +457 -0
- data/CHANGELOG.adoc +12 -0
- data/Gemfile.lock +39 -0
- data/README.adoc +27 -3
- data/asciimath.gemspec +9 -5
- data/lib/asciimath.rb +5 -4
- data/lib/asciimath/ast.rb +456 -0
- data/lib/asciimath/cli.rb +4 -1
- data/lib/asciimath/color_table.rb +21 -0
- data/lib/asciimath/html.rb +126 -111
- data/lib/asciimath/latex.rb +386 -0
- data/lib/asciimath/markup.rb +478 -0
- data/lib/asciimath/mathml.rb +189 -87
- data/lib/asciimath/parser.rb +498 -343
- data/lib/asciimath/symbol_table.rb +25 -0
- data/lib/asciimath/version.rb +1 -1
- data/spec/ast.rb +144 -0
- data/spec/parser_spec.rb +592 -165
- data/spec/schema/mathml2/common/common-attribs.xsd +41 -0
- data/spec/schema/mathml2/common/math.xsd +126 -0
- data/spec/schema/mathml2/common/xlink-href.xsd +20 -0
- data/spec/schema/mathml2/content/arith.xsd +90 -0
- data/spec/schema/mathml2/content/calculus.xsd +146 -0
- data/spec/schema/mathml2/content/common-attrib.xsd +30 -0
- data/spec/schema/mathml2/content/constants.xsd +83 -0
- data/spec/schema/mathml2/content/constructs.xsd +260 -0
- data/spec/schema/mathml2/content/elementary-functions.xsd +117 -0
- data/spec/schema/mathml2/content/functions.xsd +73 -0
- data/spec/schema/mathml2/content/linear-algebra.xsd +173 -0
- data/spec/schema/mathml2/content/logic.xsd +53 -0
- data/spec/schema/mathml2/content/relations.xsd +55 -0
- data/spec/schema/mathml2/content/semantics.xsd +85 -0
- data/spec/schema/mathml2/content/sets.xsd +236 -0
- data/spec/schema/mathml2/content/statistics.xsd +136 -0
- data/spec/schema/mathml2/content/tokens.xsd +120 -0
- data/spec/schema/mathml2/content/vector-calculus.xsd +88 -0
- data/spec/schema/mathml2/mathml2.xsd +59 -0
- data/spec/schema/mathml2/presentation/action.xsd +44 -0
- data/spec/schema/mathml2/presentation/characters.xsd +37 -0
- data/spec/schema/mathml2/presentation/common-attribs.xsd +113 -0
- data/spec/schema/mathml2/presentation/common-types.xsd +103 -0
- data/spec/schema/mathml2/presentation/error.xsd +40 -0
- data/spec/schema/mathml2/presentation/layout.xsd +195 -0
- data/spec/schema/mathml2/presentation/scripts.xsd +186 -0
- data/spec/schema/mathml2/presentation/space.xsd +52 -0
- data/spec/schema/mathml2/presentation/style.xsd +69 -0
- data/spec/schema/mathml2/presentation/table.xsd +216 -0
- data/spec/schema/mathml2/presentation/tokens.xsd +124 -0
- data/spec/schema/mathml3/mathml3-common.xsd +99 -0
- data/spec/schema/mathml3/mathml3-content.xsd +684 -0
- data/spec/schema/mathml3/mathml3-presentation.xsd +2151 -0
- data/spec/schema/mathml3/mathml3-strict-content.xsd +186 -0
- data/spec/schema/mathml3/mathml3.xsd +9 -0
- metadata +102 -10
- data/.gitignore +0 -16
- data/.travis.yml +0 -18
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
|
-
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
2
|
+
SHA256:
|
3
|
+
metadata.gz: 9854257261efca821e14c559add910c54fe4902cac3b5670f9af6c2fde09f168
|
4
|
+
data.tar.gz: a92201a108b0ebafb364e5b619a9edfcdde7c9bbea1facc58d5302d9d4d44c36
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: d20e388ca4ecdf4823361833276033b7b8c003a3b8324515e0d5c36457c790996f3b344380cee5b7d61f259ccf893eb176bc944481a3f4d254055edf35ef0d4f
|
7
|
+
data.tar.gz: f38c5f8c4fa8af496e6aabdf147afe29b4de39eedab4266ba33392284b4ec6dc588ece0ca3fa6cd9c743174fdd66c10cdf376e8949b2498146046877a10957d7
|
data/AST.adoc
ADDED
@@ -0,0 +1,457 @@
|
|
1
|
+
= AsciiMath Grammar and AST
|
2
|
+
|
3
|
+
== Grammar
|
4
|
+
|
5
|
+
The AsciiMath grammar is defined as
|
6
|
+
|
7
|
+
[source]
|
8
|
+
----
|
9
|
+
v ::= [A-Za-z] | greek letters | numbers | other constant symbols
|
10
|
+
u ::= sqrt | text | bb | other unary symbols for font commands
|
11
|
+
b ::= frac | root | stackrel | other binary symbols
|
12
|
+
l ::= ( | [ | { | (: | {: | other left brackets
|
13
|
+
r ::= ) | ] | } | :) | :} | other right brackets
|
14
|
+
S ::= v | lEr | uS | bSS Simple expression
|
15
|
+
I ::= S_S | S^S | S_S^S | S Intermediate expression
|
16
|
+
E ::= IE | I/I Expression
|
17
|
+
----
|
18
|
+
|
19
|
+
syntax in EBNF style notation is
|
20
|
+
|
21
|
+
[source]
|
22
|
+
----
|
23
|
+
asciimath = expr*
|
24
|
+
expr = intermediate fraction?
|
25
|
+
fraction = '/' intermediate
|
26
|
+
intermediate = simp sub? super?
|
27
|
+
super = '^' simp
|
28
|
+
sub = '_' simp
|
29
|
+
simp = constant | paren_expr | unary_expr | binary_expr | text
|
30
|
+
paren_expr = lparen asciimath rparen
|
31
|
+
lparen = '(' | '[' | '{' | '(:' | '{:'
|
32
|
+
rparen = ')' | ']' | '}' | ':)' | ':}'
|
33
|
+
unary_expr = unary_op simp
|
34
|
+
unary_op = 'sqrt' | 'text'
|
35
|
+
binary_expr = binary_op simp simp
|
36
|
+
binary_op = 'frac' | 'root' | 'stackrel'
|
37
|
+
text = '"' [^"]* '"'
|
38
|
+
constant = number | symbol | identifier
|
39
|
+
number = '-'? [0-9]+ ( '.' [0-9]+ )?
|
40
|
+
symbol = /* any string in the symbol table */
|
41
|
+
identifier = [A-z]
|
42
|
+
----
|
43
|
+
|
44
|
+
== Abstract Syntax Tree
|
45
|
+
|
46
|
+
The parser returns an abstract syntax tree consisting of `AsciiMath::AST::Node` objects.
|
47
|
+
Each expression 'node' of the AST is one of the following forms:
|
48
|
+
|
49
|
+
AsciiMath::
|
50
|
+
`asciimath` is converted to a `AsciiMath::AST::Sequence`.
|
51
|
+
An empty Array is converted to nil by the parser.
|
52
|
+
A single element `AsciiMath::AST::Sequence` is unwrapped to just the element.
|
53
|
+
+
|
54
|
+
Sequences of expressions are returned as `AsciiMath::AST::Sequence`s as well.
|
55
|
+
|
56
|
+
Parentheses::
|
57
|
+
`lparen asciimath rparen` is converted to `AsciiMath::AST::Paren`.
|
58
|
+
When a `paren` expression is used to group the operands of unary or binary operators a `AsciiMath::AST::Group` is used instead.
|
59
|
+
The `group` node retains the parentheses, but these are not rendered in the final output.
|
60
|
+
|
61
|
+
Super and Sub Script::
|
62
|
+
`simp sub`, `simp super` and `simp sub super` are converted to `AsciiMath::AST::SubSup`.
|
63
|
+
|
64
|
+
Unary Expressions::
|
65
|
+
`unary_op simp` is converted to `AsciiMath::AST::UnaryOp`.
|
66
|
+
|
67
|
+
Binary Expressions::
|
68
|
+
`binary_op simp simp` is converted to `AsciiMath::AST::BinaryOp`.
|
69
|
+
+
|
70
|
+
`intermediate / intermediate` is converted to `AsciiMath::AST::InfixOp`.
|
71
|
+
|
72
|
+
Symbols::
|
73
|
+
+
|
74
|
+
`symbol` (mathematical operators, function names, arrows, accents, greek letters, etc.) is converted to `AsciiMath::AST::Symbol`.
|
75
|
+
The <<symbol_table>> below list all the symbols that are recognized by the parser.
|
76
|
+
|
77
|
+
Identifiers::
|
78
|
+
+
|
79
|
+
`identifier` is converted to `AsciiMath::AST::Identifier`.
|
80
|
+
|
81
|
+
Text::
|
82
|
+
+
|
83
|
+
`text` is converted to `AsciiMath::AST::Text`.
|
84
|
+
|
85
|
+
Numbers::
|
86
|
+
+
|
87
|
+
`number` is converted to `AsciiMath::AST::Number`.
|
88
|
+
|
89
|
+
Colors::
|
90
|
+
+
|
91
|
+
The first operand of the `color` binary operator is converted to `AsciiMath::AST::Color`.
|
92
|
+
|
93
|
+
Matrices::
|
94
|
+
Matrices in AsciiMath are a special case of nested `paren_expr`.
|
95
|
+
The matrix itself can be any `paren_expr`.
|
96
|
+
Inside this outer matrix `paren_expr` each row should be represented as a `paren_expr` using either `()` or `[]`.
|
97
|
+
Rows must be separated by commas (`,`).
|
98
|
+
The elements of each row must also be separated by commas.
|
99
|
+
Each row must contain the same number of elements.
|
100
|
+
+
|
101
|
+
When the parser detects a well-formed matrix expression it will strip away the `paren_expr` representation of the matrix and each row.
|
102
|
+
Instead it returns a `AsciiMath::AST::Matrix`.
|
103
|
+
The matrix node contains a `AsciiMath::AST::MatrixRow` for each row of the matrix.
|
104
|
+
Each `AsciiMath::AST::MatrixRow` contains a child node per column.
|
105
|
+
Empty matrix cells are represented as `AsciiMath::AST::Empty`.
|
106
|
+
|
107
|
+
[[symbol_table]]
|
108
|
+
== Symbol Table
|
109
|
+
|
110
|
+
|===
|
111
|
+
|AsciiMath |Symbol |MathML Value |LaTeX Value
|
112
|
+
|
113
|
+
|+ |:plus |+ (https://codepoints.net/U+002B[U+002B]) |+
|
114
|
+
|++-++ |:minus |++−++ (https://codepoints.net/U+2212[U+2212]) |++-++
|
115
|
+
|++*++ |:cdot |++⋅++ (https://codepoints.net/U+22C5[U+22C5]) |++\cdot++
|
116
|
+
|++cdot++ |:cdot |++⋅++ (https://codepoints.net/U+22C5[U+22C5]) |++\cdot++
|
117
|
+
|++**++ |:ast |++*++ (https://codepoints.net/U+002A[U+002A]) |++*++
|
118
|
+
|++ast++ |:ast |++*++ (https://codepoints.net/U+002A[U+002A]) |++*++
|
119
|
+
|++***++ |:star |++⋆++ (https://codepoints.net/U+22C6[U+22C6]) |++\star++
|
120
|
+
|++star++ |:star |++⋆++ (https://codepoints.net/U+22C6[U+22C6]) |++\star++
|
121
|
+
|++//++ |:slash |++/++ (https://codepoints.net/U+002F[U+002F]) |++/++
|
122
|
+
|++\\++ |:backslash |++\++ (https://codepoints.net/U+005C[U+005C]) |++\backslash++
|
123
|
+
|++backslash++ |:backslash |++\++ (https://codepoints.net/U+005C[U+005C]) |++\backslash++
|
124
|
+
|++setminus++ |:setminus |++\++ (https://codepoints.net/U+005C[U+005C]) |++\setminus++
|
125
|
+
|++xx++ |:times |++×++ (https://codepoints.net/U+00D7[U+00D7]) |++\times++
|
126
|
+
|++times++ |:times |++×++ (https://codepoints.net/U+00D7[U+00D7]) |++\times++
|
127
|
+
|++\|><++ |:ltimes |++⋉++ (https://codepoints.net/U+22C9[U+22C9]) |++\ltimes++
|
128
|
+
|++ltimes++ |:ltimes |++⋉++ (https://codepoints.net/U+22C9[U+22C9]) |++\ltimes++
|
129
|
+
|++><\|++ |:rtimes |++⋊++ (https://codepoints.net/U+22CA[U+22CA]) |++\rtimes++
|
130
|
+
|++rtimes++ |:rtimes |++⋊++ (https://codepoints.net/U+22CA[U+22CA]) |++\rtimes++
|
131
|
+
|++\|><\|++ |:bowtie |++⋈++ (https://codepoints.net/U+22C8[U+22C8]) |++\bowtie++
|
132
|
+
|++bowtie++ |:bowtie |++⋈++ (https://codepoints.net/U+22C8[U+22C8]) |++\bowtie++
|
133
|
+
|++-:++ |:div |++÷++ (https://codepoints.net/U+00F7[U+00F7]) |++\div++
|
134
|
+
|++div++ |:div |++÷++ (https://codepoints.net/U+00F7[U+00F7]) |++\div++
|
135
|
+
|++divide++ |:div |++÷++ (https://codepoints.net/U+00F7[U+00F7]) |++\div++
|
136
|
+
|++@++ |:circ |++⚬++ (https://codepoints.net/U+26AC[U+26AC]) |++\circ++
|
137
|
+
|++circ++ |:circ |++⚬++ (https://codepoints.net/U+26AC[U+26AC]) |++\circ++
|
138
|
+
|++o+++ |:oplus |++⊕++ (https://codepoints.net/U+2295[U+2295]) |++\oplus++
|
139
|
+
|++oplus++ |:oplus |++⊕++ (https://codepoints.net/U+2295[U+2295]) |++\oplus++
|
140
|
+
|++ox++ |:otimes |++⊗++ (https://codepoints.net/U+2297[U+2297]) |++\otimes++
|
141
|
+
|++otimes++ |:otimes |++⊗++ (https://codepoints.net/U+2297[U+2297]) |++\otimes++
|
142
|
+
|++o.++ |:odot |++⊙++ (https://codepoints.net/U+2299[U+2299]) |++\odot++
|
143
|
+
|++odot++ |:odot |++⊙++ (https://codepoints.net/U+2299[U+2299]) |++\odot++
|
144
|
+
|++sum++ |:sum |++∑++ (https://codepoints.net/U+2211[U+2211]) |++\sum++
|
145
|
+
|++prod++ |:prod |++∏++ (https://codepoints.net/U+220F[U+220F]) |++\prod++
|
146
|
+
|++^^++ |:wedge |++∧++ (https://codepoints.net/U+2227[U+2227]) |++\wedge++
|
147
|
+
|++wedge++ |:wedge |++∧++ (https://codepoints.net/U+2227[U+2227]) |++\wedge++
|
148
|
+
|++^^^++ |:bigwedge |++⋀++ (https://codepoints.net/U+22C0[U+22C0]) |++\bigwedge++
|
149
|
+
|++bigwedge++ |:bigwedge |++⋀++ (https://codepoints.net/U+22C0[U+22C0]) |++\bigwedge++
|
150
|
+
|++vv++ |:vee |++∨++ (https://codepoints.net/U+2228[U+2228]) |++\vee++
|
151
|
+
|++vee++ |:vee |++∨++ (https://codepoints.net/U+2228[U+2228]) |++\vee++
|
152
|
+
|++vvv++ |:bigvee |++⋁++ (https://codepoints.net/U+22C1[U+22C1]) |++\bigvee++
|
153
|
+
|++bigvee++ |:bigvee |++⋁++ (https://codepoints.net/U+22C1[U+22C1]) |++\bigvee++
|
154
|
+
|++nn++ |:cap |++∩++ (https://codepoints.net/U+2229[U+2229]) |++\cap++
|
155
|
+
|++cap++ |:cap |++∩++ (https://codepoints.net/U+2229[U+2229]) |++\cap++
|
156
|
+
|++nnn++ |:bigcap |++⋂++ (https://codepoints.net/U+22C2[U+22C2]) |++\bigcap++
|
157
|
+
|++bigcap++ |:bigcap |++⋂++ (https://codepoints.net/U+22C2[U+22C2]) |++\bigcap++
|
158
|
+
|++uu++ |:cup |++∪++ (https://codepoints.net/U+222A[U+222A]) |++\cup++
|
159
|
+
|++cup++ |:cup |++∪++ (https://codepoints.net/U+222A[U+222A]) |++\cup++
|
160
|
+
|++uuu++ |:bigcup |++⋃++ (https://codepoints.net/U+22C3[U+22C3]) |++\bigcup++
|
161
|
+
|++bigcup++ |:bigcup |++⋃++ (https://codepoints.net/U+22C3[U+22C3]) |++\bigcup++
|
162
|
+
|++=++ |:eq |++=++ (https://codepoints.net/U+003D[U+003D]) |++=++
|
163
|
+
|++!=++ |:ne |++≠++ (https://codepoints.net/U+2260[U+2260]) |++\neq++
|
164
|
+
|++ne++ |:ne |++≠++ (https://codepoints.net/U+2260[U+2260]) |++\neq++
|
165
|
+
|++:=++ |:assign |++≔++ (https://codepoints.net/U+2254[U+2254]) |++:=++
|
166
|
+
|++<++ |:lt |++<++ (https://codepoints.net/U+003C[U+003C]) |++<++
|
167
|
+
|++lt++ |:lt |++<++ (https://codepoints.net/U+003C[U+003C]) |++<++
|
168
|
+
|++>++ |:gt |++>++ (https://codepoints.net/U+003E[U+003E]) |++>++
|
169
|
+
|++gt++ |:gt |++>++ (https://codepoints.net/U+003E[U+003E]) |++>++
|
170
|
+
|++<=++ |:le |++≤++ (https://codepoints.net/U+2264[U+2264]) |++\le++
|
171
|
+
|++le++ |:le |++≤++ (https://codepoints.net/U+2264[U+2264]) |++\le++
|
172
|
+
|++>=++ |:ge |++≥++ (https://codepoints.net/U+2265[U+2265]) |++\ge++
|
173
|
+
|++ge++ |:ge |++≥++ (https://codepoints.net/U+2265[U+2265]) |++\ge++
|
174
|
+
|++-<++ |:prec |++≺++ (https://codepoints.net/U+227A[U+227A]) |++\prec++
|
175
|
+
|++-lt++ |:prec |++≺++ (https://codepoints.net/U+227A[U+227A]) |++\prec++
|
176
|
+
|++prec++ |:prec |++≺++ (https://codepoints.net/U+227A[U+227A]) |++\prec++
|
177
|
+
|++>-++ |:succ |++≻++ (https://codepoints.net/U+227B[U+227B]) |++\succ++
|
178
|
+
|++succ++ |:succ |++≻++ (https://codepoints.net/U+227B[U+227B]) |++\succ++
|
179
|
+
|++-<=++ |:preceq |++⪯++ (https://codepoints.net/U+2AAF[U+2AAF]) |++\preceq++
|
180
|
+
|++preceq++ |:preceq |++⪯++ (https://codepoints.net/U+2AAF[U+2AAF]) |++\preceq++
|
181
|
+
|++>-=++ |:succeq |++⪰++ (https://codepoints.net/U+2AB0[U+2AB0]) |++\succeq++
|
182
|
+
|++succeq++ |:succeq |++⪰++ (https://codepoints.net/U+2AB0[U+2AB0]) |++\succeq++
|
183
|
+
|++in++ |:in |++∈++ (https://codepoints.net/U+2208[U+2208]) |++\in++
|
184
|
+
|++!in++ |:notin |++∉++ (https://codepoints.net/U+2209[U+2209]) |++\notin++
|
185
|
+
|++notin++ |:notin |++∉++ (https://codepoints.net/U+2209[U+2209]) |++\notin++
|
186
|
+
|++sub++ |:subset |++⊂++ (https://codepoints.net/U+2282[U+2282]) |++\subset++
|
187
|
+
|++subset++ |:subset |++⊂++ (https://codepoints.net/U+2282[U+2282]) |++\subset++
|
188
|
+
|++sup++ |:supset |++⊃++ (https://codepoints.net/U+2283[U+2283]) |++\supset++
|
189
|
+
|++supset++ |:supset |++⊃++ (https://codepoints.net/U+2283[U+2283]) |++\supset++
|
190
|
+
|++sube++ |:subseteq |++⊆++ (https://codepoints.net/U+2286[U+2286]) |++\subseteq++
|
191
|
+
|++subseteq++ |:subseteq |++⊆++ (https://codepoints.net/U+2286[U+2286]) |++\subseteq++
|
192
|
+
|++supe++ |:supseteq |++⊇++ (https://codepoints.net/U+2287[U+2287]) |++\supseteq++
|
193
|
+
|++supseteq++ |:supseteq |++⊇++ (https://codepoints.net/U+2287[U+2287]) |++\supseteq++
|
194
|
+
|++-=++ |:equiv |++≡++ (https://codepoints.net/U+2261[U+2261]) |++\equiv++
|
195
|
+
|++equiv++ |:equiv |++≡++ (https://codepoints.net/U+2261[U+2261]) |++\equiv++
|
196
|
+
|++~=++ |:cong |++≅++ (https://codepoints.net/U+2245[U+2245]) |++\cong++
|
197
|
+
|++cong++ |:cong |++≅++ (https://codepoints.net/U+2245[U+2245]) |++\cong++
|
198
|
+
|++~~++ |:approx |++≈++ (https://codepoints.net/U+2248[U+2248]) |++\approx++
|
199
|
+
|++approx++ |:approx |++≈++ (https://codepoints.net/U+2248[U+2248]) |++\approx++
|
200
|
+
|++prop++ |:propto |++∝++ (https://codepoints.net/U+221D[U+221D]) |++\propto++
|
201
|
+
|++propto++ |:propto |++∝++ (https://codepoints.net/U+221D[U+221D]) |++\propto++
|
202
|
+
|++and++ |:and |++and++ (https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+006E[U+006E] https://codepoints.net/U+0064[U+0064]) |++\operatorname{and}++
|
203
|
+
|++or++ |:or |++or++ (https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0072[U+0072]) |++\operatorname{or}++
|
204
|
+
|++not++ |:not |++¬++ (https://codepoints.net/U+00AC[U+00AC]) |++\not++
|
205
|
+
|++neg++ |:not |++¬++ (https://codepoints.net/U+00AC[U+00AC]) |++\not++
|
206
|
+
|++=>++ |:implies |++⇒++ (https://codepoints.net/U+21D2[U+21D2]) |++\Rightarrow++
|
207
|
+
|++implies++ |:implies |++⇒++ (https://codepoints.net/U+21D2[U+21D2]) |++\Rightarrow++
|
208
|
+
|++if++ |:if |++if++ (https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+0066[U+0066]) |++\operatorname{if}++
|
209
|
+
|++<=>++ |:iff |++⇔++ (https://codepoints.net/U+21D4[U+21D4]) |++\Leftrightarrow++
|
210
|
+
|++iff++ |:iff |++⇔++ (https://codepoints.net/U+21D4[U+21D4]) |++\Leftrightarrow++
|
211
|
+
|++AA++ |:forall |++∀++ (https://codepoints.net/U+2200[U+2200]) |++\forall++
|
212
|
+
|++forall++ |:forall |++∀++ (https://codepoints.net/U+2200[U+2200]) |++\forall++
|
213
|
+
|++EE++ |:exists |++∃++ (https://codepoints.net/U+2203[U+2203]) |++\exists++
|
214
|
+
|++exists++ |:exists |++∃++ (https://codepoints.net/U+2203[U+2203]) |++\exists++
|
215
|
+
|++_\|_++ |:bot |++⊥++ (https://codepoints.net/U+22A5[U+22A5]) |++\bot++
|
216
|
+
|++bot++ |:bot |++⊥++ (https://codepoints.net/U+22A5[U+22A5]) |++\bot++
|
217
|
+
|++TT++ |:top |++⊤++ (https://codepoints.net/U+22A4[U+22A4]) |++\top++
|
218
|
+
|++top++ |:top |++⊤++ (https://codepoints.net/U+22A4[U+22A4]) |++\top++
|
219
|
+
|++\|--++ |:vdash |++⊢++ (https://codepoints.net/U+22A2[U+22A2]) |++\vdash++
|
220
|
+
|++vdash++ |:vdash |++⊢++ (https://codepoints.net/U+22A2[U+22A2]) |++\vdash++
|
221
|
+
|++\|==++ |:models |++⊨++ (https://codepoints.net/U+22A8[U+22A8]) |++\models++
|
222
|
+
|++models++ |:models |++⊨++ (https://codepoints.net/U+22A8[U+22A8]) |++\models++
|
223
|
+
|++(++ |:lparen |++(++ (https://codepoints.net/U+0028[U+0028]) |++(++
|
224
|
+
|++left(++ |:lparen |++(++ (https://codepoints.net/U+0028[U+0028]) |++(++
|
225
|
+
|++)++ |:rparen |++)++ (https://codepoints.net/U+0029[U+0029]) |++)++
|
226
|
+
|++right)++ |:rparen |++)++ (https://codepoints.net/U+0029[U+0029]) |++)++
|
227
|
+
|++[++ |:lbracket |++[++ (https://codepoints.net/U+005B[U+005B]) |++[++
|
228
|
+
|++left[++ |:lbracket |++[++ (https://codepoints.net/U+005B[U+005B]) |++[++
|
229
|
+
|++]++ |:rbracket |++]++ (https://codepoints.net/U+005D[U+005D]) |++]++
|
230
|
+
|++right]++ |:rbracket |++]++ (https://codepoints.net/U+005D[U+005D]) |++]++
|
231
|
+
|++{++ |:lbrace |++{++ (https://codepoints.net/U+007B[U+007B]) |++\{++
|
232
|
+
|++}++ |:rbrace |++}++ (https://codepoints.net/U+007D[U+007D]) |++\}++
|
233
|
+
|++\|++ |:vbar |++\|++ (https://codepoints.net/U+007C[U+007C]) |++\|++
|
234
|
+
|++:\|:++ |:vbar |++\|++ (https://codepoints.net/U+007C[U+007C]) |++\|++
|
235
|
+
|++\|:++ |:vbar |++\|++ (https://codepoints.net/U+007C[U+007C]) |++\|++
|
236
|
+
|++:\|++ |:vbar |++\|++ (https://codepoints.net/U+007C[U+007C]) |++\|++
|
237
|
+
|++(:++ |:langle |++〈++ (https://codepoints.net/U+2329[U+2329]) |++\langle++
|
238
|
+
|++<<++ |:langle |++〈++ (https://codepoints.net/U+2329[U+2329]) |++\langle++
|
239
|
+
|++langle++ |:langle |++〈++ (https://codepoints.net/U+2329[U+2329]) |++\langle++
|
240
|
+
|++:)++ |:rangle |++〉++ (https://codepoints.net/U+232A[U+232A]) |++\rangle++
|
241
|
+
|++>>++ |:rangle |++〉++ (https://codepoints.net/U+232A[U+232A]) |++\rangle++
|
242
|
+
|++rangle++ |:rangle |++〉++ (https://codepoints.net/U+232A[U+232A]) |++\rangle++
|
243
|
+
|++int++ |:integral |++∫++ (https://codepoints.net/U+222B[U+222B]) |++\int++
|
244
|
+
|++dx++ |:dx |++dx++ (https://codepoints.net/U+0064[U+0064] https://codepoints.net/U+0078[U+0078]) |++dx++
|
245
|
+
|++dy++ |:dy |++dy++ (https://codepoints.net/U+0064[U+0064] https://codepoints.net/U+0079[U+0079]) |++dy++
|
246
|
+
|++dz++ |:dz |++dz++ (https://codepoints.net/U+0064[U+0064] https://codepoints.net/U+007A[U+007A]) |++dz++
|
247
|
+
|++dt++ |:dt |++dt++ (https://codepoints.net/U+0064[U+0064] https://codepoints.net/U+0074[U+0074]) |++dt++
|
248
|
+
|++oint++ |:contourintegral |++∮++ (https://codepoints.net/U+222E[U+222E]) |++\oint++
|
249
|
+
|++del++ |:partial |++∂++ (https://codepoints.net/U+2202[U+2202]) |++\del++
|
250
|
+
|++partial++ |:partial |++∂++ (https://codepoints.net/U+2202[U+2202]) |++\del++
|
251
|
+
|++grad++ |:nabla |++∇++ (https://codepoints.net/U+2207[U+2207]) |++\nabla++
|
252
|
+
|++nabla++ |:nabla |++∇++ (https://codepoints.net/U+2207[U+2207]) |++\nabla++
|
253
|
+
|+++-++ |:pm |++±++ (https://codepoints.net/U+00B1[U+00B1]) |++\pm++
|
254
|
+
|++pm++ |:pm |++±++ (https://codepoints.net/U+00B1[U+00B1]) |++\pm++
|
255
|
+
|++O/++ |:emptyset |++∅++ (https://codepoints.net/U+2205[U+2205]) |++\emptyset++
|
256
|
+
|++emptyset++ |:emptyset |++∅++ (https://codepoints.net/U+2205[U+2205]) |++\emptyset++
|
257
|
+
|++oo++ |:infty |++∞++ (https://codepoints.net/U+221E[U+221E]) |++\infty++
|
258
|
+
|++infty++ |:infty |++∞++ (https://codepoints.net/U+221E[U+221E]) |++\infty++
|
259
|
+
|++aleph++ |:aleph |++ℵ++ (https://codepoints.net/U+2135[U+2135]) |++\aleph++
|
260
|
+
|++...++ |:ellipsis |++…++ (https://codepoints.net/U+2026[U+2026]) |++\ellipsis++
|
261
|
+
|++ldots++ |:ellipsis |++…++ (https://codepoints.net/U+2026[U+2026]) |++\ellipsis++
|
262
|
+
|++:.++ |:therefore |++∴++ (https://codepoints.net/U+2234[U+2234]) |++\therefore++
|
263
|
+
|++therefore++ |:therefore |++∴++ (https://codepoints.net/U+2234[U+2234]) |++\therefore++
|
264
|
+
|++:'++ |:because |++∵++ (https://codepoints.net/U+2235[U+2235]) |++\because++
|
265
|
+
|++because++ |:because |++∵++ (https://codepoints.net/U+2235[U+2235]) |++\because++
|
266
|
+
|++/_++ |:angle |++∠++ (https://codepoints.net/U+2220[U+2220]) |++\angle++
|
267
|
+
|++angle++ |:angle |++∠++ (https://codepoints.net/U+2220[U+2220]) |++\angle++
|
268
|
+
|++/_\++ |:triangle |++△++ (https://codepoints.net/U+25B3[U+25B3]) |++\triangle++
|
269
|
+
|++triangle++ |:triangle |++△++ (https://codepoints.net/U+25B3[U+25B3]) |++\triangle++
|
270
|
+
|++'++ |:prime |++′++ (https://codepoints.net/U+2032[U+2032]) |++'++
|
271
|
+
|++prime++ |:prime |++′++ (https://codepoints.net/U+2032[U+2032]) |++'++
|
272
|
+
|++tilde++ |:tilde |++~++ (https://codepoints.net/U+007E[U+007E]) |++\~++
|
273
|
+
|++\ ++ |:nbsp |++ ++ (https://codepoints.net/U+00A0[U+00A0]) |++\;++
|
274
|
+
|++frown++ |:frown |++⌢++ (https://codepoints.net/U+2322[U+2322]) |++\frown++
|
275
|
+
|++quad++ |:quad |++ ++ (https://codepoints.net/U+00A0[U+00A0] https://codepoints.net/U+00A0[U+00A0]) |++\quad++
|
276
|
+
|++qquad++ |:qquad |++ ++ (https://codepoints.net/U+00A0[U+00A0] https://codepoints.net/U+00A0[U+00A0] https://codepoints.net/U+00A0[U+00A0] https://codepoints.net/U+00A0[U+00A0]) |++\qquad++
|
277
|
+
|++cdots++ |:cdots |++⋯++ (https://codepoints.net/U+22EF[U+22EF]) |++\cdots++
|
278
|
+
|++vdots++ |:vdots |++⋮++ (https://codepoints.net/U+22EE[U+22EE]) |++\vdots++
|
279
|
+
|++ddots++ |:ddots |++⋱++ (https://codepoints.net/U+22F1[U+22F1]) |++\ddots++
|
280
|
+
|++diamond++ |:diamond |++⋄++ (https://codepoints.net/U+22C4[U+22C4]) |++\diamond++
|
281
|
+
|++square++ |:square |++□++ (https://codepoints.net/U+25A1[U+25A1]) |++\square++
|
282
|
+
|++\|__++ |:lfloor |++⌊++ (https://codepoints.net/U+230A[U+230A]) |++\lfloor++
|
283
|
+
|++lfloor++ |:lfloor |++⌊++ (https://codepoints.net/U+230A[U+230A]) |++\lfloor++
|
284
|
+
|++__\|++ |:rfloor |++⌋++ (https://codepoints.net/U+230B[U+230B]) |++\rfloor++
|
285
|
+
|++rfloor++ |:rfloor |++⌋++ (https://codepoints.net/U+230B[U+230B]) |++\rfloor++
|
286
|
+
|++\|~++ |:lceiling |++⌈++ (https://codepoints.net/U+2308[U+2308]) |++\lceil++
|
287
|
+
|++lceiling++ |:lceiling |++⌈++ (https://codepoints.net/U+2308[U+2308]) |++\lceil++
|
288
|
+
|++~\|++ |:rceiling |++⌉++ (https://codepoints.net/U+2309[U+2309]) |++\rceil++
|
289
|
+
|++rceiling++ |:rceiling |++⌉++ (https://codepoints.net/U+2309[U+2309]) |++\rceil++
|
290
|
+
|++CC++ |:dstruck_captial_c |++ℂ++ (https://codepoints.net/U+2102[U+2102]) |++\mathbb{C}++
|
291
|
+
|++NN++ |:dstruck_captial_n |++ℕ++ (https://codepoints.net/U+2115[U+2115]) |++\mathbb{N}++
|
292
|
+
|++QQ++ |:dstruck_captial_q |++ℚ++ (https://codepoints.net/U+211A[U+211A]) |++\mathbb{Q}++
|
293
|
+
|++RR++ |:dstruck_captial_r |++ℝ++ (https://codepoints.net/U+211D[U+211D]) |++\mathbb{R}++
|
294
|
+
|++ZZ++ |:dstruck_captial_z |++ℤ++ (https://codepoints.net/U+2124[U+2124]) |++\mathbb{Z}++
|
295
|
+
|++f++ |:f |++f++ (https://codepoints.net/U+0066[U+0066]) |++f++
|
296
|
+
|++g++ |:g |++g++ (https://codepoints.net/U+0067[U+0067]) |++g++
|
297
|
+
|++lim++ |:lim |++lim++ (https://codepoints.net/U+006C[U+006C] https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+006D[U+006D]) |++\lim++
|
298
|
+
|++Lim++ |:Lim |++Lim++ (https://codepoints.net/U+004C[U+004C] https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+006D[U+006D]) |++\operatorname{Lim}++
|
299
|
+
|++min++ |:min |++min++ (https://codepoints.net/U+006D[U+006D] https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+006E[U+006E]) |++\min++
|
300
|
+
|++max++ |:max |++max++ (https://codepoints.net/U+006D[U+006D] https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+0078[U+0078]) |++\max++
|
301
|
+
|++sin++ |:sin |++sin++ (https://codepoints.net/U+0073[U+0073] https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+006E[U+006E]) |++\sin++
|
302
|
+
|++Sin++ |:Sin |++Sin++ (https://codepoints.net/U+0053[U+0053] https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+006E[U+006E]) |++\operatorname{Sin}++
|
303
|
+
|++cos++ |:cos |++cos++ (https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0073[U+0073]) |++\cos++
|
304
|
+
|++Cos++ |:Cos |++Cos++ (https://codepoints.net/U+0043[U+0043] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0073[U+0073]) |++\operatorname{Cos}++
|
305
|
+
|++tan++ |:tan |++tan++ (https://codepoints.net/U+0074[U+0074] https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+006E[U+006E]) |++\tan++
|
306
|
+
|++Tan++ |:Tan |++Tan++ (https://codepoints.net/U+0054[U+0054] https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+006E[U+006E]) |++\operatorname{Tan}++
|
307
|
+
|++sinh++ |:sinh |++sinh++ (https://codepoints.net/U+0073[U+0073] https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+006E[U+006E] https://codepoints.net/U+0068[U+0068]) |++\sinh++
|
308
|
+
|++Sinh++ |:Sinh |++Sinh++ (https://codepoints.net/U+0053[U+0053] https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+006E[U+006E] https://codepoints.net/U+0068[U+0068]) |++\operatorname{Sinh}++
|
309
|
+
|++cosh++ |:cosh |++cosh++ (https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0073[U+0073] https://codepoints.net/U+0068[U+0068]) |++\cosh++
|
310
|
+
|++Cosh++ |:Cosh |++Cosh++ (https://codepoints.net/U+0043[U+0043] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0073[U+0073] https://codepoints.net/U+0068[U+0068]) |++\operatorname{Cosh}++
|
311
|
+
|++tanh++ |:tanh |++tanh++ (https://codepoints.net/U+0074[U+0074] https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+006E[U+006E] https://codepoints.net/U+0068[U+0068]) |++\tanh++
|
312
|
+
|++Tanh++ |:Tanh |++Tanh++ (https://codepoints.net/U+0054[U+0054] https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+006E[U+006E] https://codepoints.net/U+0068[U+0068]) |++\operatorname{Tanh}++
|
313
|
+
|++cot++ |:cot |++cot++ (https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0074[U+0074]) |++\cot++
|
314
|
+
|++Cot++ |:Cot |++Cot++ (https://codepoints.net/U+0043[U+0043] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0074[U+0074]) |++\operatorname{Cot}++
|
315
|
+
|++sec++ |:sec |++sec++ (https://codepoints.net/U+0073[U+0073] https://codepoints.net/U+0065[U+0065] https://codepoints.net/U+0063[U+0063]) |++\sec++
|
316
|
+
|++Sec++ |:Sec |++Sec++ (https://codepoints.net/U+0053[U+0053] https://codepoints.net/U+0065[U+0065] https://codepoints.net/U+0063[U+0063]) |++\operatorname{Sec}++
|
317
|
+
|++csc++ |:csc |++csc++ (https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+0073[U+0073] https://codepoints.net/U+0063[U+0063]) |++\csc++
|
318
|
+
|++Csc++ |:Csc |++Csc++ (https://codepoints.net/U+0043[U+0043] https://codepoints.net/U+0073[U+0073] https://codepoints.net/U+0063[U+0063]) |++\operatorname{Csc}++
|
319
|
+
|++arcsin++ |:arcsin |++arcsin++ (https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+0072[U+0072] https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+0073[U+0073] https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+006E[U+006E]) |++\arcsin++
|
320
|
+
|++arccos++ |:arccos |++arccos++ (https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+0072[U+0072] https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0073[U+0073]) |++\arccos++
|
321
|
+
|++arctan++ |:arctan |++arctan++ (https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+0072[U+0072] https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+0074[U+0074] https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+006E[U+006E]) |++\arctan++
|
322
|
+
|++coth++ |:coth |++coth++ (https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0074[U+0074] https://codepoints.net/U+0068[U+0068]) |++\coth++
|
323
|
+
|++sech++ |:sech |++sech++ (https://codepoints.net/U+0073[U+0073] https://codepoints.net/U+0065[U+0065] https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+0068[U+0068]) |++\operatorname{sech}++
|
324
|
+
|++csch++ |:csch |++csch++ (https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+0073[U+0073] https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+0068[U+0068]) |++\operatorname{csch}++
|
325
|
+
|++exp++ |:exp |++exp++ (https://codepoints.net/U+0065[U+0065] https://codepoints.net/U+0078[U+0078] https://codepoints.net/U+0070[U+0070]) |++\exp++
|
326
|
+
|++abs++ |:abs |++abs++ (https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+0062[U+0062] https://codepoints.net/U+0073[U+0073]) |++\abs++
|
327
|
+
|++Abs++ |:abs |++abs++ (https://codepoints.net/U+0061[U+0061] https://codepoints.net/U+0062[U+0062] https://codepoints.net/U+0073[U+0073]) |++\abs++
|
328
|
+
|++norm++ |:norm |++norm++ (https://codepoints.net/U+006E[U+006E] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0072[U+0072] https://codepoints.net/U+006D[U+006D]) |++\norm++
|
329
|
+
|++floor++ |:floor |++floor++ (https://codepoints.net/U+0066[U+0066] https://codepoints.net/U+006C[U+006C] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0072[U+0072]) |++\floor++
|
330
|
+
|++ceil++ |:ceil |++ceil++ (https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+0065[U+0065] https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+006C[U+006C]) |++\ceil++
|
331
|
+
|++log++ |:log |++log++ (https://codepoints.net/U+006C[U+006C] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0067[U+0067]) |++\log++
|
332
|
+
|++Log++ |:Log |++Log++ (https://codepoints.net/U+004C[U+004C] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0067[U+0067]) |++\operatorname{Log}++
|
333
|
+
|++ln++ |:ln |++ln++ (https://codepoints.net/U+006C[U+006C] https://codepoints.net/U+006E[U+006E]) |++\ln++
|
334
|
+
|++Ln++ |:Ln |++Ln++ (https://codepoints.net/U+004C[U+004C] https://codepoints.net/U+006E[U+006E]) |++\operatorname{Ln}++
|
335
|
+
|++det++ |:det |++det++ (https://codepoints.net/U+0064[U+0064] https://codepoints.net/U+0065[U+0065] https://codepoints.net/U+0074[U+0074]) |++\det++
|
336
|
+
|++dim++ |:dim |++dim++ (https://codepoints.net/U+0064[U+0064] https://codepoints.net/U+0069[U+0069] https://codepoints.net/U+006D[U+006D]) |++\dim++
|
337
|
+
|++mod++ |:mod |++mod++ (https://codepoints.net/U+006D[U+006D] https://codepoints.net/U+006F[U+006F] https://codepoints.net/U+0064[U+0064]) |++\mod++
|
338
|
+
|++gcd++ |:gcd |++gcd++ (https://codepoints.net/U+0067[U+0067] https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+0064[U+0064]) |++\gcd++
|
339
|
+
|++lcm++ |:lcm |++lcm++ (https://codepoints.net/U+006C[U+006C] https://codepoints.net/U+0063[U+0063] https://codepoints.net/U+006D[U+006D]) |++\operatorname{lcm}++
|
340
|
+
|++lub++ |:lub |++lub++ (https://codepoints.net/U+006C[U+006C] https://codepoints.net/U+0075[U+0075] https://codepoints.net/U+0062[U+0062]) |++\operatorname{lub}++
|
341
|
+
|++glb++ |:glb |++glb++ (https://codepoints.net/U+0067[U+0067] https://codepoints.net/U+006C[U+006C] https://codepoints.net/U+0062[U+0062]) |++\operatorname{glb}++
|
342
|
+
|++uarr++ |:uparrow |++↑++ (https://codepoints.net/U+2191[U+2191]) |++\uparrow++
|
343
|
+
|++uparrow++ |:uparrow |++↑++ (https://codepoints.net/U+2191[U+2191]) |++\uparrow++
|
344
|
+
|++darr++ |:downarrow |++↓++ (https://codepoints.net/U+2193[U+2193]) |++\downarrow++
|
345
|
+
|++downarrow++ |:downarrow |++↓++ (https://codepoints.net/U+2193[U+2193]) |++\downarrow++
|
346
|
+
|++rarr++ |:rightarrow |++→++ (https://codepoints.net/U+2192[U+2192]) |++\rightarrow++
|
347
|
+
|++rightarrow++ |:rightarrow |++→++ (https://codepoints.net/U+2192[U+2192]) |++\rightarrow++
|
348
|
+
|++->++ |:to |++→++ (https://codepoints.net/U+2192[U+2192]) |++\rightarrow++
|
349
|
+
|++to++ |:to |++→++ (https://codepoints.net/U+2192[U+2192]) |++\rightarrow++
|
350
|
+
|++>->++ |:rightarrowtail |++↣++ (https://codepoints.net/U+21A3[U+21A3]) |++\rightarrowtail++
|
351
|
+
|++rightarrowtail++ |:rightarrowtail |++↣++ (https://codepoints.net/U+21A3[U+21A3]) |++\rightarrowtail++
|
352
|
+
|++->>++ |:twoheadrightarrow |++↠++ (https://codepoints.net/U+21A0[U+21A0]) |++\twoheadrightarrow++
|
353
|
+
|++twoheadrightarrow++ |:twoheadrightarrow |++↠++ (https://codepoints.net/U+21A0[U+21A0]) |++\twoheadrightarrow++
|
354
|
+
|++>->>++ |:twoheadrightarrowtail |++⤖++ (https://codepoints.net/U+2916[U+2916]) |++\twoheadrightarrowtail++
|
355
|
+
|++twoheadrightarrowtail++ |:twoheadrightarrowtail |++⤖++ (https://codepoints.net/U+2916[U+2916]) |++\twoheadrightarrowtail++
|
356
|
+
|++\|->++ |:mapsto |++↦++ (https://codepoints.net/U+21A6[U+21A6]) |++\mapsto++
|
357
|
+
|++mapsto++ |:mapsto |++↦++ (https://codepoints.net/U+21A6[U+21A6]) |++\mapsto++
|
358
|
+
|++larr++ |:leftarrow |++←++ (https://codepoints.net/U+2190[U+2190]) |++\leftarrow++
|
359
|
+
|++leftarrow++ |:leftarrow |++←++ (https://codepoints.net/U+2190[U+2190]) |++\leftarrow++
|
360
|
+
|++harr++ |:leftrightarrow |++↔++ (https://codepoints.net/U+2194[U+2194]) |++\leftrightarrow++
|
361
|
+
|++leftrightarrow++ |:leftrightarrow |++↔++ (https://codepoints.net/U+2194[U+2194]) |++\leftrightarrow++
|
362
|
+
|++rArr++ |:Rightarrow |++⇒++ (https://codepoints.net/U+21D2[U+21D2]) |++\Rightarrow++
|
363
|
+
|++Rightarrow++ |:Rightarrow |++⇒++ (https://codepoints.net/U+21D2[U+21D2]) |++\Rightarrow++
|
364
|
+
|++lArr++ |:Leftarrow |++⇐++ (https://codepoints.net/U+21D0[U+21D0]) |++\Leftarrow++
|
365
|
+
|++Leftarrow++ |:Leftarrow |++⇐++ (https://codepoints.net/U+21D0[U+21D0]) |++\Leftarrow++
|
366
|
+
|++hArr++ |:Leftrightarrow |++⇔++ (https://codepoints.net/U+21D4[U+21D4]) |++\Leftrightarrow++
|
367
|
+
|++Leftrightarrow++ |:Leftrightarrow |++⇔++ (https://codepoints.net/U+21D4[U+21D4]) |++\Leftrightarrow++
|
368
|
+
|++sqrt++ |:sqrt |++sqrt++ () |++\sqrt++
|
369
|
+
|++root++ |:root |++root++ () |++\root++
|
370
|
+
|++frac++ |:frac |++frac++ () |++\frac++
|
371
|
+
|++/++ |:frac |++frac++ () |++\frac++
|
372
|
+
|++stackrel++ |:stackrel |++stackrel++ () |++\stackrel++
|
373
|
+
|++overset++ |:overset |++overset++ () |++\overset++
|
374
|
+
|++underset++ |:underset |++underset++ () |++\underset++
|
375
|
+
|++color++ |:color |++color++ () |++\color++
|
376
|
+
|++_++ |:sub |++_++ (https://codepoints.net/U+005F[U+005F]) |++\text{–}++
|
377
|
+
|++^++ |:sup |++^++ (https://codepoints.net/U+005E[U+005E]) |++\text{^}++
|
378
|
+
|++hat++ |:hat |++^++ (https://codepoints.net/U+005E[U+005E]) |++\hat++
|
379
|
+
|++bar++ |:overline |++¯++ (https://codepoints.net/U+00AF[U+00AF]) |++\overline++
|
380
|
+
|++vec++ |:vec |++→++ (https://codepoints.net/U+2192[U+2192]) |++\vec++
|
381
|
+
|++dot++ |:dot |++.++ (https://codepoints.net/U+002E[U+002E]) |++\dot++
|
382
|
+
|++ddot++ |:ddot |++..++ (https://codepoints.net/U+002E[U+002E] https://codepoints.net/U+002E[U+002E]) |++\ddot++
|
383
|
+
|++overarc++ |:overarc |++⏜++ (https://codepoints.net/U+23DC[U+23DC]) |++\overarc++
|
384
|
+
|++overparen++ |:overarc |++⏜++ (https://codepoints.net/U+23DC[U+23DC]) |++\overarc++
|
385
|
+
|++ul++ |:underline |++_++ (https://codepoints.net/U+005F[U+005F]) |++\underline++
|
386
|
+
|++underline++ |:underline |++_++ (https://codepoints.net/U+005F[U+005F]) |++\underline++
|
387
|
+
|++ubrace++ |:underbrace |++⏟++ (https://codepoints.net/U+23DF[U+23DF]) |++\underbrace++
|
388
|
+
|++underbrace++ |:underbrace |++⏟++ (https://codepoints.net/U+23DF[U+23DF]) |++\underbrace++
|
389
|
+
|++obrace++ |:overbrace |++⏞++ (https://codepoints.net/U+23DE[U+23DE]) |++\overbrace++
|
390
|
+
|++overbrace++ |:overbrace |++⏞++ (https://codepoints.net/U+23DE[U+23DE]) |++\overbrace++
|
391
|
+
|++cancel++ |:cancel |++cancel++ () |++\cancel++
|
392
|
+
|++bb++ |:bold |++bold++ () |++\mathbf++
|
393
|
+
|++bbb++ |:double_struck |++double_struck++ () |++\mathbb++
|
394
|
+
|++ii++ |:italic |++italic++ () |++\mathit++
|
395
|
+
|++bii++ |:bold_italic |++bold_italic++ () |++\mathbf++
|
396
|
+
|++cc++ |:script |++script++ () |++\mathscr++
|
397
|
+
|++bcc++ |:bold_script |++bold_script++ () |++\mathscr++
|
398
|
+
|++tt++ |:monospace |++monospace++ () |++\mathtt++
|
399
|
+
|++fr++ |:fraktur |++fraktur++ () |++\mathfrak++
|
400
|
+
|++bfr++ |:bold_fraktur |++bold_fraktur++ () |++\mathfrak++
|
401
|
+
|++sf++ |:sans_serif |++sans_serif++ () |++\mathsf++
|
402
|
+
|++bsf++ |:bold_sans_serif |++bold_sans_serif++ () |++\mathsf++
|
403
|
+
|++sfi++ |:sans_serif_italic |++sans_serif_italic++ () |++\mathsf++
|
404
|
+
|++sfbi++ |:sans_serif_bold_italic |++sans_serif_bold_italic++ () |++\mathsf++
|
405
|
+
|++alpha++ |:alpha |++α++ (https://codepoints.net/U+03B1[U+03B1]) |++\alpha++
|
406
|
+
|++Alpha++ |:Alpha |++Α++ (https://codepoints.net/U+0391[U+0391]) |++\Alpha++
|
407
|
+
|++beta++ |:beta |++β++ (https://codepoints.net/U+03B2[U+03B2]) |++\beta++
|
408
|
+
|++Beta++ |:Beta |++Β++ (https://codepoints.net/U+0392[U+0392]) |++\Beta++
|
409
|
+
|++gamma++ |:gamma |++γ++ (https://codepoints.net/U+03B3[U+03B3]) |++\gamma++
|
410
|
+
|++Gamma++ |:Gamma |++Γ++ (https://codepoints.net/U+0393[U+0393]) |++\Gamma++
|
411
|
+
|++delta++ |:delta |++δ++ (https://codepoints.net/U+03B4[U+03B4]) |++\delta++
|
412
|
+
|++Delta++ |:Delta |++Δ++ (https://codepoints.net/U+0394[U+0394]) |++\Delta++
|
413
|
+
|++epsi++ |:epsilon |++ε++ (https://codepoints.net/U+03B5[U+03B5]) |++\epsilon++
|
414
|
+
|++epsilon++ |:epsilon |++ε++ (https://codepoints.net/U+03B5[U+03B5]) |++\epsilon++
|
415
|
+
|++Epsilon++ |:Epsilon |++Ε++ (https://codepoints.net/U+0395[U+0395]) |++\Epsilon++
|
416
|
+
|++varepsilon++ |:varepsilon |++ɛ++ (https://codepoints.net/U+025B[U+025B]) |++\varepsilon++
|
417
|
+
|++zeta++ |:zeta |++ζ++ (https://codepoints.net/U+03B6[U+03B6]) |++\zeta++
|
418
|
+
|++Zeta++ |:Zeta |++Ζ++ (https://codepoints.net/U+0396[U+0396]) |++\Zeta++
|
419
|
+
|++eta++ |:eta |++η++ (https://codepoints.net/U+03B7[U+03B7]) |++\eta++
|
420
|
+
|++Eta++ |:Eta |++Η++ (https://codepoints.net/U+0397[U+0397]) |++\Eta++
|
421
|
+
|++theta++ |:theta |++θ++ (https://codepoints.net/U+03B8[U+03B8]) |++\theta++
|
422
|
+
|++Theta++ |:Theta |++Θ++ (https://codepoints.net/U+0398[U+0398]) |++\Theta++
|
423
|
+
|++vartheta++ |:vartheta |++ϑ++ (https://codepoints.net/U+03D1[U+03D1]) |++\vartheta++
|
424
|
+
|++iota++ |:iota |++ι++ (https://codepoints.net/U+03B9[U+03B9]) |++\iota++
|
425
|
+
|++Iota++ |:Iota |++Ι++ (https://codepoints.net/U+0399[U+0399]) |++\Iota++
|
426
|
+
|++kappa++ |:kappa |++κ++ (https://codepoints.net/U+03BA[U+03BA]) |++\kappa++
|
427
|
+
|++Kappa++ |:Kappa |++Κ++ (https://codepoints.net/U+039A[U+039A]) |++\Kappa++
|
428
|
+
|++lambda++ |:lambda |++λ++ (https://codepoints.net/U+03BB[U+03BB]) |++\lambda++
|
429
|
+
|++Lambda++ |:Lambda |++Λ++ (https://codepoints.net/U+039B[U+039B]) |++\Lambda++
|
430
|
+
|++mu++ |:mu |++μ++ (https://codepoints.net/U+03BC[U+03BC]) |++\mu++
|
431
|
+
|++Mu++ |:Mu |++Μ++ (https://codepoints.net/U+039C[U+039C]) |++\Mu++
|
432
|
+
|++nu++ |:nu |++ν++ (https://codepoints.net/U+03BD[U+03BD]) |++\nu++
|
433
|
+
|++Nu++ |:Nu |++Ν++ (https://codepoints.net/U+039D[U+039D]) |++\Nu++
|
434
|
+
|++xi++ |:xi |++ξ++ (https://codepoints.net/U+03BE[U+03BE]) |++\xi++
|
435
|
+
|++Xi++ |:Xi |++Ξ++ (https://codepoints.net/U+039E[U+039E]) |++\Xi++
|
436
|
+
|++omicron++ |:omicron |++ο++ (https://codepoints.net/U+03BF[U+03BF]) |++\omicron++
|
437
|
+
|++Omicron++ |:Omicron |++Ο++ (https://codepoints.net/U+039F[U+039F]) |++\Omicron++
|
438
|
+
|++pi++ |:pi |++π++ (https://codepoints.net/U+03C0[U+03C0]) |++\pi++
|
439
|
+
|++Pi++ |:Pi |++Π++ (https://codepoints.net/U+03A0[U+03A0]) |++\Pi++
|
440
|
+
|++rho++ |:rho |++ρ++ (https://codepoints.net/U+03C1[U+03C1]) |++\rho++
|
441
|
+
|++Rho++ |:Rho |++Ρ++ (https://codepoints.net/U+03A1[U+03A1]) |++\Rho++
|
442
|
+
|++sigma++ |:sigma |++σ++ (https://codepoints.net/U+03C3[U+03C3]) |++\sigma++
|
443
|
+
|++Sigma++ |:Sigma |++Σ++ (https://codepoints.net/U+03A3[U+03A3]) |++\Sigma++
|
444
|
+
|++tau++ |:tau |++τ++ (https://codepoints.net/U+03C4[U+03C4]) |++\tau++
|
445
|
+
|++Tau++ |:Tau |++Τ++ (https://codepoints.net/U+03A4[U+03A4]) |++\Tau++
|
446
|
+
|++upsilon++ |:upsilon |++υ++ (https://codepoints.net/U+03C5[U+03C5]) |++\upsilon++
|
447
|
+
|++Upsilon++ |:Upsilon |++Υ++ (https://codepoints.net/U+03A5[U+03A5]) |++\Upsilon++
|
448
|
+
|++phi++ |:phi |++φ++ (https://codepoints.net/U+03C6[U+03C6]) |++\phi++
|
449
|
+
|++Phi++ |:Phi |++Φ++ (https://codepoints.net/U+03A6[U+03A6]) |++\Phi++
|
450
|
+
|++varphi++ |:varphi |++ϕ++ (https://codepoints.net/U+03D5[U+03D5]) |++\varphi++
|
451
|
+
|++chi++ |:chi |++χ++ (https://codepoints.net/U+03C7[U+03C7]) |++\chi++
|
452
|
+
|++Chi++ |:Chi |++Χ++ (https://codepoints.net/U+03A7[U+03A7]) |++\Chi++
|
453
|
+
|++psi++ |:psi |++ψ++ (https://codepoints.net/U+03C8[U+03C8]) |++\psi++
|
454
|
+
|++Psi++ |:Psi |++Ψ++ (https://codepoints.net/U+03A8[U+03A8]) |++\Psi++
|
455
|
+
|++omega++ |:omega |++ω++ (https://codepoints.net/U+03C9[U+03C9]) |++\omega++
|
456
|
+
|++Omega++ |:Omega |++Ω++ (https://codepoints.net/U+03A9[U+03A9]) |++\Omega++
|
457
|
+
|===
|