Skip to content

Instantly share code, notes, and snippets.

@xwu
Last active October 10, 2017 23:50
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save xwu/f27e137f9bed8caef3fcb4a93fa1f08c to your computer and use it in GitHub Desktop.
Save xwu/f27e137f9bed8caef3fcb4a93fa1f08c to your computer and use it in GitHub Desktop.
UTN28 Default Operators

Extracted from UTN28

"The following table gives the default math keywords, their target characters and codes along with spacing and linear-format build-up properties."

Omitted from the original table are operands, enclosures, spaces, big/long variants, and non-NFKC characters. Three characters that default to their emoji variants on iOS, and one related character, are excised.

Keyword Glyph Code Spacing LF Property
pm ± U+00B1 unary/binary unary/binary
times × U+00D7 binarynsp normal
div ÷ U+00F7 binary normal
norm U+2016 ordinary open/close
prime U+2032 ordinary Unisubsup
leftarrow U+2190 relational stretch horiz
uparrow U+2191 relational normal
rightarrow U+2192 relational stretch horiz
downarrow U+2193 relational normal
leftrightarrow U+2194 relational stretch horiz
nwarrow U+2196 relational normal
nearrow U+2197 relational normal
searrow U+2198 relational normal
swarrow U+2199 relational normal
mapsto U+21A6 relational stretch horiz
leftharpoonup U+21BC relational stretch horiz
leftharpoondown U+21BD relational stretch horiz
rightharpoonup U+21C0 relational stretch horiz
rightharpoondown U+21C1 relational stretch horiz
Leftarrow U+21D0 relational stretch horiz
Uparrow U+21D1 relational normal
Rightarrow U+21D2 relational stretch horiz
Downarrow U+21D3 relational normal
Leftrightarrow U+21D4 relational stretch horiz
forall U+2200 unary normal
exists U+2203 unary normal
in U+2208 relational normal
ni U+220B relational normal
prod U+220F ordinary nary
amalg U+2210 ordinary nary
sum U+2211 ordinary nary
mp U+2213 unary/binary unary/binary
setminus U+2216 binary normal
ast U+2217 binary normal
circ U+2218 binary normal
bullet U+2219 binary normal
propto U+221D relational normal
angle U+2220 relational normal
parallel U+2225 relational normal
wedge U+2227 binary normal
vee U+2228 binary normal
cap U+2229 binary normal
cup U+222A binary normal
int U+222B ordinary nary
oint U+222E ordinary nary
coint U+2232 ordinary nary
aoint U+2233 ordinary nary
therefore U+2234 relational normal
because U+2235 relational normal
ratio U+2236 relational normal
sim U+223C relational normal
wr U+2240 binary normal
simeq U+2243 relational normal
cong U+2245 relational normal
approx U+2248 relational normal
asymp U+224D relational normal
doteq U+2250 relational normal
neq U+2260 relational normal
equiv U+2261 relational normal
leq U+2264 relational normal
geq U+2265 relational normal
ll U+226A relational normal
gg U+226B relational normal
prec U+227A relational normal
succ U+227B relational normal
preceq U+227C relational normal
succeq U+227D relational normal
subset U+2282 relational normal
superset U+2283 relational normal
subseteq U+2286 relational normal
superseteq U+2287 relational normal
uplus U+228E binary normal
sqsubseteq U+2291 relational normal
sqsuperseteq U+2292 relational normal
sqcap U+2293 binary normal
sqcup U+2294 binary normal
oplus U+2295 binary normal
ominus U+2296 binary normal
otimes U+2297 binary normal
oslash U+2298 binary normal
odot U+2299 binary normal
vdash U+22A2 relational stretch horz
dashv U+22A3 relational stretch horz
top U+22A4 relational normal
bot U+22A5 relational normal
models U+22A8 relational stretch horz
diamond U+22C4 binary normal
cdot U+22C5 binary normal
star U+22C6 binary normal
bowtie U+22C8 relational normal
vdots U+22EE relational normal
cdots U+22EF ordinary normal
rddots U+22F0 relational normal
ddots U+22F1 relational normal
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment