math_core_renderer_internal/
symbol.rs

1use std::fmt::Debug;
2
3#[cfg(feature = "serde")]
4use serde::Serialize;
5
6/// A character for use in MathML `<mo>` elements.
7///
8/// LaTeX's operator classes cannot be mapped cleanly to MathML's `<mo>` vs `<mi>` distinction.
9/// Some characters that are in class 0 in LaTeX are nevertheless rendered as `<mo>` in MathML.
10#[derive(Debug, Clone, PartialEq, Eq, Copy)]
11#[cfg_attr(feature = "serde", derive(Serialize))]
12#[repr(transparent)]
13#[cfg_attr(feature = "serde", serde(transparent))]
14pub struct MathMLOperator(char);
15
16impl MathMLOperator {
17    #[inline]
18    pub const fn as_char(&self) -> char {
19        self.0
20    }
21}
22
23impl From<MathMLOperator> for char {
24    #[inline]
25    fn from(op: MathMLOperator) -> Self {
26        op.0
27    }
28}
29
30impl From<&MathMLOperator> for char {
31    #[inline]
32    fn from(op: &MathMLOperator) -> Self {
33        op.0
34    }
35}
36
37/// A character from the Basic Multilingual Plane (BMP), stored as a single UTF-16 code unit.
38///
39/// This can only store characters in the BMP (i.e., code points U+0000 to U+FFFF).
40/// `BMPChar::new` will panic if a character outside this range is provided.
41#[derive(Clone, PartialEq, Eq, Copy)]
42struct BMPChar {
43    char: u16,
44}
45
46impl BMPChar {
47    const fn new(ch: char) -> Self {
48        assert!(ch as u32 <= u16::MAX as u32, "Character is outside the BMP");
49        BMPChar { char: ch as u16 }
50    }
51
52    #[inline]
53    pub const fn as_char(self) -> char {
54        debug_assert!(char::from_u32(self.char as u32).is_some(), "Invalid char.");
55        unsafe { char::from_u32_unchecked(self.char as u32) }
56    }
57}
58
59// We use a custom `Debug` implementation to render `BMPChar` as a `char`.
60impl Debug for BMPChar {
61    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
62        f.write_fmt(format_args!("{:?}", self.as_char()))
63    }
64}
65
66macro_rules! make_character_class {
67    ($(#[$meta:meta])* $struct_name:ident, $cat_type:ty) => {
68        $(#[$meta])*
69        #[derive(Debug, Clone, PartialEq, Eq, Copy)]
70        pub struct $struct_name {
71            char: BMPChar,
72            cat: $cat_type,
73        }
74
75        impl $struct_name {
76            const fn new(ch: char, cat: $cat_type) -> $struct_name {
77                $struct_name {
78                    char: BMPChar::new(ch),
79                    cat,
80                }
81            }
82
83            #[inline]
84            pub const fn as_op(&self) -> MathMLOperator {
85                MathMLOperator(self.char.as_char())
86            }
87
88            #[inline]
89            pub fn category(&self) -> &$cat_type {
90                &self.cat
91            }
92        }
93    };
94}
95
96#[derive(Debug, Clone, Copy, PartialEq, Eq)]
97pub enum OrdCategory {
98    /// Category D: Prefix, zero spacing (e.g. `¬`).
99    D,
100    /// Category E: Postfix, zero spacing (e.g. `′`).
101    E,
102    /// Category F: Prefix, zero spacing, stretchy, symmetric
103    F,
104    /// Category G: Postfix, zero spacing, stretchy, symmetric
105    G,
106    /// Category F and G: Prefix or postfix, zero spacing, stretchy, symmetric
107    /// (e.g. `‖`).
108    // FG,
109
110    /// Category F and G: Prefix or postfix, zero spacing, stretchy, symmetric
111    /// but also with an infix form with relation spacing (e.g. `|`).
112    FGandForceDefault,
113    /// Category I: Postfix, zero spacing, stretchy
114    I,
115    /// Category K: Infix, zero spacing (e.g. `\`).
116    K,
117    /// An operator which is in category K but used to be in category B (e.g. `/`).
118    /// Unfortunately, not all browsers handle this correctly yet,
119    /// so we need to special-case it.
120    KButUsedToBeB,
121}
122
123make_character_class!(
124    /// An operator with zero spacing, categories D, E, F, G, I, K.
125    OrdLike, OrdCategory
126);
127
128impl OrdLike {
129    #[inline]
130    pub const fn as_stretchable_op(&self) -> Option<StretchableOp> {
131        let (stretchy, spacing) = match self.cat {
132            OrdCategory::F | OrdCategory::G => (Stretchy::Always, DelimiterSpacing::Zero),
133            OrdCategory::FGandForceDefault => {
134                (Stretchy::PrePostfix, DelimiterSpacing::InfixNonZero)
135            }
136            OrdCategory::K => (Stretchy::Never, DelimiterSpacing::Zero),
137            OrdCategory::KButUsedToBeB => (Stretchy::Never, DelimiterSpacing::NonZero),
138            OrdCategory::D | OrdCategory::E | OrdCategory::I => {
139                return None;
140            }
141        };
142        Some(StretchableOp {
143            char: self.char,
144            stretchy,
145            spacing,
146        })
147    }
148}
149
150#[derive(Debug, Clone, Copy, PartialEq, Eq)]
151pub enum OpCategory {
152    /// Category C: Infix, op spacing (e.g. `.`).
153    C,
154    /// Category H: Prefix, op spacing, symmetric, largeop (e.g. `∫`).
155    H,
156    /// Category J: Prefix, op spacing, symmetric, largeop, movablelimits
157    /// (e.g. `∑`).
158    J,
159}
160
161make_character_class!(
162    /// An operator with operator spacing (categories C, H, J).
163    Op, OpCategory
164);
165
166#[derive(Debug, Clone, Copy, PartialEq, Eq)]
167pub enum BinCategory {
168    /// Category B: Infix, binary op spacing (e.g. `÷`)
169    B,
170    /// Category B and D: Infix and prefix, binary op spacing (e.g. `+`)
171    BD,
172}
173
174make_character_class!(
175    /// An operator with binary operator spacing (categories B and D).
176    Bin, BinCategory
177);
178
179#[derive(Debug, Clone, Copy, PartialEq, Eq)]
180pub enum RelCategory {
181    /// Default: No form, relation spacing (e.g. `=`).
182    Default,
183    /// Category A: Infix, relation spacing, stretchy (e.g. `↑`).
184    A,
185}
186
187make_character_class!(
188    /// An operator with relation spacing.
189    Rel, RelCategory
190);
191
192impl Rel {
193    #[inline]
194    pub const fn as_stretchable_op(&self) -> Option<StretchableOp> {
195        match self.cat {
196            RelCategory::A => Some(StretchableOp {
197                char: self.char,
198                stretchy: Stretchy::AlwaysAsymmetric,
199                spacing: DelimiterSpacing::NonZero,
200            }),
201            RelCategory::Default => None,
202        }
203    }
204}
205
206/// An operator with punctuation spacing (category M).
207#[derive(Debug, Clone, PartialEq, Eq, Copy)]
208#[repr(transparent)]
209pub struct Punct(char);
210
211impl Punct {
212    #[inline]
213    pub const fn as_op(&self) -> MathMLOperator {
214        MathMLOperator(self.0)
215    }
216}
217
218#[derive(Debug, Clone, Copy, PartialEq, Eq)]
219#[cfg_attr(feature = "serde", derive(Serialize))]
220pub enum Stretchy {
221    /// The operator is always stretchy (e.g. `(`, `)`).
222    Always = 1,
223    /// The operator is only stretchy as a pre- or postfix operator (e.g. `|`).
224    PrePostfix,
225    /// The operator is never stretchy (e.g. `/`).
226    Never,
227    /// The operator is always stretchy but isn't symmetric (e.g. `↑`).
228    AlwaysAsymmetric,
229}
230
231#[derive(Debug, Clone, Copy, PartialEq, Eq)]
232pub enum DelimiterSpacing {
233    /// Never has any spacing, even when used as an infix operator (e.g. `(`, `)`).
234    Zero,
235    /// Has spacing when used as an infix operator, but not when used as a prefix or postfix
236    /// operator (e.g. `|`).
237    InfixNonZero,
238    /// Always has spacing, even when used as a prefix or postfix operator (e.g. `/`).
239    NonZero,
240}
241
242#[derive(Debug, Clone, PartialEq, Eq, Copy)]
243pub struct StretchableOp {
244    char: BMPChar,
245    pub stretchy: Stretchy,
246    pub spacing: DelimiterSpacing,
247}
248
249#[cfg(feature = "serde")]
250impl Serialize for StretchableOp {
251    fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
252    where
253        S: serde::Serializer,
254    {
255        use serde::ser::SerializeTupleStruct;
256
257        let mut state = serializer.serialize_tuple_struct("StretchableOp", 2)?;
258        state.serialize_field(&char::from(*self))?;
259        state.serialize_field(&self.stretchy)?;
260        state.end()
261    }
262}
263
264impl StretchableOp {
265    #[inline]
266    pub const fn as_op(self) -> MathMLOperator {
267        MathMLOperator(self.char.as_char())
268    }
269}
270
271impl From<StretchableOp> for char {
272    #[inline]
273    fn from(op: StretchableOp) -> Self {
274        op.char.as_char()
275    }
276}
277
278//
279// Unicode Block: Basic Latin
280//
281pub const EXCLAMATION_MARK: MathMLOperator = MathMLOperator('!');
282// pub const QUOTATION_MARK: char = '"';
283pub const NUMBER_SIGN: char = '#';
284pub const DOLLAR_SIGN: char = '$';
285pub const PERCENT_SIGN: char = '%';
286pub const AMPERSAND: OrdLike = OrdLike::new('&', OrdCategory::E);
287// pub const APOSTROPHE: char = '\'';
288pub const LEFT_PARENTHESIS: OrdLike = OrdLike::new('(', OrdCategory::F);
289pub const RIGHT_PARENTHESIS: OrdLike = OrdLike::new(')', OrdCategory::G);
290// pub const ASTERISK: char = '*';
291pub const PLUS_SIGN: Bin = Bin::new('+', BinCategory::BD);
292pub const COMMA: Punct = Punct(',');
293pub const FULL_STOP: Op = Op::new('.', OpCategory::C);
294pub const SOLIDUS: OrdLike = OrdLike::new('/', OrdCategory::KButUsedToBeB);
295
296pub const COLON: Punct = Punct(':');
297pub const SEMICOLON: Punct = Punct(';');
298// pub const LESS_THAN_SIGN: char = '<';
299pub const EQUALS_SIGN: Rel = Rel::new('=', RelCategory::Default);
300// pub const GREATER_THAN_SIGN: char = '>';
301// pub const QUESTION_MARK: char = '?';
302// pub const COMMERCIAL_AT: char = '@';
303
304pub const LEFT_SQUARE_BRACKET: OrdLike = OrdLike::new('[', OrdCategory::F);
305pub const REVERSE_SOLIDUS: OrdLike = OrdLike::new('\\', OrdCategory::K);
306pub const RIGHT_SQUARE_BRACKET: OrdLike = OrdLike::new(']', OrdCategory::G);
307// pub const CIRCUMFLEX_ACCENT: Rel = Rel::new('^', RelCategory::Default);
308pub const LOW_LINE: Rel = Rel::new('_', RelCategory::Default);
309pub const GRAVE_ACCENT: Rel = Rel::new('`', RelCategory::Default);
310
311pub const LEFT_CURLY_BRACKET: OrdLike = OrdLike::new('{', OrdCategory::F);
312pub const VERTICAL_LINE: OrdLike = OrdLike::new('|', OrdCategory::FGandForceDefault);
313pub const RIGHT_CURLY_BRACKET: OrdLike = OrdLike::new('}', OrdCategory::G);
314pub const TILDE: Rel = Rel::new('~', RelCategory::Default);
315
316//
317// Unicode Block: Latin-1 Supplement
318//
319pub const SECTION_SIGN: char = '§';
320pub const DIAERESIS: Rel = Rel::new('¨', RelCategory::Default);
321pub const COPYRIGHT_SIGN: char = '©';
322
323pub const NOT_SIGN: OrdLike = OrdLike::new('¬', OrdCategory::D);
324
325pub const MACRON: Rel = Rel::new('¯', RelCategory::Default);
326
327pub const PLUS_MINUS_SIGN: Bin = Bin::new('±', BinCategory::BD);
328
329pub const ACUTE_ACCENT: Rel = Rel::new('´', RelCategory::Default);
330
331pub const PILCROW_SIGN: char = '¶';
332pub const MIDDLE_DOT: Op = Op::new('·', OpCategory::C);
333
334pub const MULTIPLICATION_SIGN: Op = Op::new('×', OpCategory::C);
335
336pub const LATIN_SMALL_LETTER_ETH: char = 'ð';
337
338pub const DIVISION_SIGN: Bin = Bin::new('÷', BinCategory::B);
339
340pub const LATIN_SMALL_LETTER_THORN: char = 'þ';
341
342//
343// Unicode Block: Latin Extended-A
344//
345pub const LATIN_SMALL_LETTER_DOTLESS_I: char = 'ı';
346
347//
348// Unicode Block: Latin Extended-B
349//
350pub const LATIN_SMALL_LETTER_DOTLESS_J: char = 'ȷ';
351
352//
353// Unicode Block: Spacing Modifier Letters
354//
355pub const MODIFIER_LETTER_CIRCUMFLEX_ACCENT: Rel = Rel::new('ˆ', RelCategory::Default);
356pub const CARON: Rel = Rel::new('ˇ', RelCategory::Default);
357
358pub const BREVE: Rel = Rel::new('˘', RelCategory::Default);
359pub const DOT_ABOVE: Rel = Rel::new('˙', RelCategory::Default);
360pub const RING_ABOVE: Rel = Rel::new('˚', RelCategory::Default);
361
362pub const SMALL_TILDE: Rel = Rel::new('˜', RelCategory::Default);
363
364//
365// Unicode Block: Combining Diacritical Marks
366//
367pub const COMBINING_GRAVE_ACCENT: char = '\u{300}';
368pub const COMBINING_ACUTE_ACCENT: char = '\u{301}';
369pub const COMBINING_CIRCUMFLEX_ACCENT: Rel = Rel::new('\u{302}', RelCategory::Default);
370pub const COMBINING_TILDE: char = '\u{303}';
371pub const COMBINING_MACRON: char = '\u{304}';
372// pub const COMBINING_OVERLINE: Rel = Rel::new('\u{305}', RelCategory::Default);
373pub const COMBINING_BREVE: char = '\u{306}';
374pub const COMBINING_DOT_ABOVE: char = '\u{307}';
375pub const COMBINING_DIAERESIS: char = '\u{308}';
376// pub const COMBINING_HOOK_ABOVE: char = '\u{309}';
377pub const COMBINING_RING_ABOVE: char = '\u{30A}';
378pub const COMBINING_DOUBLE_ACUTE_ACCENT: char = '\u{30B}';
379pub const COMBINING_CARON: char = '\u{30C}';
380
381pub const COMBINING_CEDILLA: char = '\u{327}';
382
383//
384// Unicode Block: Greek and Coptic
385//
386pub const GREEK_CAPITAL_LETTER_ALPHA: char = 'Α';
387pub const GREEK_CAPITAL_LETTER_BETA: char = 'Β';
388pub const GREEK_CAPITAL_LETTER_GAMMA: char = 'Γ';
389pub const GREEK_CAPITAL_LETTER_DELTA: char = 'Δ';
390pub const GREEK_CAPITAL_LETTER_EPSILON: char = 'Ε';
391pub const GREEK_CAPITAL_LETTER_ZETA: char = 'Ζ';
392pub const GREEK_CAPITAL_LETTER_ETA: char = 'Η';
393pub const GREEK_CAPITAL_LETTER_THETA: char = 'Θ';
394pub const GREEK_CAPITAL_LETTER_IOTA: char = 'Ι';
395pub const GREEK_CAPITAL_LETTER_KAPPA: char = 'Κ';
396pub const GREEK_CAPITAL_LETTER_LAMBDA: char = 'Λ';
397pub const GREEK_CAPITAL_LETTER_MU: char = 'Μ';
398pub const GREEK_CAPITAL_LETTER_NU: char = 'Ν';
399pub const GREEK_CAPITAL_LETTER_XI: char = 'Ξ';
400pub const GREEK_CAPITAL_LETTER_OMICRON: char = 'Ο';
401pub const GREEK_CAPITAL_LETTER_PI: char = 'Π';
402pub const GREEK_CAPITAL_LETTER_RHO: char = 'Ρ';
403pub const GREEK_CAPITAL_LETTER_SIGMA: char = 'Σ';
404pub const GREEK_CAPITAL_LETTER_TAU: char = 'Τ';
405pub const GREEK_CAPITAL_LETTER_UPSILON: char = 'Υ';
406pub const GREEK_CAPITAL_LETTER_PHI: char = 'Φ';
407pub const GREEK_CAPITAL_LETTER_CHI: char = 'Χ';
408pub const GREEK_CAPITAL_LETTER_PSI: char = 'Ψ';
409pub const GREEK_CAPITAL_LETTER_OMEGA: char = 'Ω';
410
411pub const GREEK_SMALL_LETTER_ALPHA: char = 'α';
412pub const GREEK_SMALL_LETTER_BETA: char = 'β';
413pub const GREEK_SMALL_LETTER_GAMMA: char = 'γ';
414pub const GREEK_SMALL_LETTER_DELTA: char = 'δ';
415pub const GREEK_SMALL_LETTER_EPSILON: char = 'ε';
416pub const GREEK_SMALL_LETTER_ZETA: char = 'ζ';
417pub const GREEK_SMALL_LETTER_ETA: char = 'η';
418pub const GREEK_SMALL_LETTER_THETA: char = 'θ';
419pub const GREEK_SMALL_LETTER_IOTA: char = 'ι';
420pub const GREEK_SMALL_LETTER_KAPPA: char = 'κ';
421pub const GREEK_SMALL_LETTER_LAMBDA: char = 'λ';
422pub const GREEK_SMALL_LETTER_MU: char = 'μ';
423pub const GREEK_SMALL_LETTER_NU: char = 'ν';
424pub const GREEK_SMALL_LETTER_XI: char = 'ξ';
425pub const GREEK_SMALL_LETTER_OMICRON: char = 'ο';
426pub const GREEK_SMALL_LETTER_PI: char = 'π';
427pub const GREEK_SMALL_LETTER_RHO: char = 'ρ';
428pub const GREEK_SMALL_LETTER_FINAL_SIGMA: char = 'ς';
429pub const GREEK_SMALL_LETTER_SIGMA: char = 'σ';
430pub const GREEK_SMALL_LETTER_TAU: char = 'τ';
431pub const GREEK_SMALL_LETTER_UPSILON: char = 'υ';
432pub const GREEK_SMALL_LETTER_PHI: char = 'φ';
433pub const GREEK_SMALL_LETTER_CHI: char = 'χ';
434pub const GREEK_SMALL_LETTER_PSI: char = 'ψ';
435pub const GREEK_SMALL_LETTER_OMEGA: char = 'ω';
436
437pub const GREEK_THETA_SYMBOL: char = 'ϑ';
438// pub const GREEK_UPSILON_WITH_HOOK_SYMBOL: char = 'ϒ';
439
440pub const GREEK_PHI_SYMBOL: char = 'ϕ';
441pub const GREEK_PI_SYMBOL: char = 'ϖ';
442
443// pub const GREEK_LETTER_DIGAMMA: char = 'Ϝ';
444pub const GREEK_SMALL_LETTER_DIGAMMA: char = 'ϝ';
445
446pub const GREEK_KAPPA_SYMBOL: char = 'ϰ';
447pub const GREEK_RHO_SYMBOL: char = 'ϱ';
448
449// pub const GREEK_CAPITAL_THETA_SYMBOL: char = 'ϴ';
450
451pub const GREEK_LUNATE_EPSILON_SYMBOL: char = 'ϵ';
452pub const GREEK_REVERSED_LUNATE_EPSILON_SYMBOL: char = '϶';
453
454//
455// Unicode Block: General Punctuation
456//
457pub const DOUBLE_VERTICAL_LINE: OrdLike = OrdLike::new('‖', OrdCategory::FGandForceDefault); // should actually be FG
458
459pub const DAGGER: char = '†';
460pub const DOUBLE_DAGGER: char = '‡';
461
462pub const HORIZONTAL_ELLIPSIS: char = '…';
463pub const PRIME: OrdLike = OrdLike::new('′', OrdCategory::E);
464pub const DOUBLE_PRIME: OrdLike = OrdLike::new('″', OrdCategory::E);
465pub const TRIPLE_PRIME: OrdLike = OrdLike::new('‴', OrdCategory::E);
466pub const REVERSED_PRIME: OrdLike = OrdLike::new('‵', OrdCategory::E);
467pub const REVERSED_DOUBLE_PRIME: OrdLike = OrdLike::new('‶', OrdCategory::E);
468pub const REVERSED_TRIPLE_PRIME: OrdLike = OrdLike::new('‷', OrdCategory::E);
469// pub const CARET: Ord = ord('‸');
470// pub const SINGLE_LEFT_POINTING_ANGLE_QUOTATION_MARK: Ord = ord('‹');
471// pub const SINGLE_RIGHT_POINTING_ANGLE_QUOTATION_MARK: Ord = ord('›');
472// pub const REFERENCE_MARK: Ord = ord('※');
473// pub const DOUBLE_EXCLAMATION_MARK: Ord = ord('‼');
474// pub const INTERROBANG: Ord = ord('‽');
475pub const OVERLINE: Rel = Rel::new('‾', RelCategory::Default);
476
477pub const QUADRUPLE_PRIME: OrdLike = OrdLike::new('⁗', OrdCategory::E);
478
479//
480// Unicode Block: Combining Diacritical Marks for Symbols
481//
482pub const COMBINING_RIGHT_ARROW_ABOVE: Rel = Rel::new('\u{20D7}', RelCategory::Default);
483
484pub const COMBINING_THREE_DOTS_ABOVE: Rel = Rel::new('\u{20DB}', RelCategory::Default);
485pub const COMBINING_FOUR_DOTS_ABOVE: Rel = Rel::new('\u{20DC}', RelCategory::Default);
486
487//
488// Unicode Block: Letterlike Symbols
489//
490pub const PLANCK_CONSTANT_OVER_TWO_PI: char = 'ℏ';
491// pub const SCRIPT_CAPITAL_I: char = 'ℐ';
492pub const BLACK_LETTER_CAPITAL_I: char = 'ℑ';
493// pub const SCRIPT_CAPITAL_L: char = 'ℒ';
494pub const SCRIPT_SMALL_L: char = 'ℓ';
495
496pub const DOUBLE_STRUCK_CAPITAL_N: char = 'ℕ';
497
498pub const SCRIPT_CAPITAL_P: char = '℘';
499
500pub const BLACK_LETTER_CAPITAL_R: char = 'ℜ';
501pub const DOUBLE_STRUCK_CAPITAL_R: char = 'ℝ';
502
503pub const DOUBLE_STRUCK_CAPITAL_Z: char = 'ℤ';
504
505pub const INVERTED_OHM_SIGN: char = '℧';
506
507pub const ANGSTROM_SIGN: char = 'Å';
508
509pub const TURNED_CAPITAL_F: char = 'Ⅎ';
510
511pub const ALEF_SYMBOL: char = 'ℵ';
512pub const BET_SYMBOL: char = 'ℶ';
513pub const GIMEL_SYMBOL: char = 'ℷ';
514pub const DALET_SYMBOL: char = 'ℸ';
515
516pub const TURNED_SANS_SERIF_CAPITAL_G: char = '⅁';
517
518//
519// Unicode Block: Arrows
520//
521pub const LEFTWARDS_ARROW: Rel = Rel::new('←', RelCategory::A);
522pub const UPWARDS_ARROW: Rel = Rel::new('↑', RelCategory::A);
523pub const RIGHTWARDS_ARROW: Rel = Rel::new('→', RelCategory::A);
524pub const DOWNWARDS_ARROW: Rel = Rel::new('↓', RelCategory::A);
525pub const LEFT_RIGHT_ARROW: Rel = Rel::new('↔', RelCategory::A);
526pub const UP_DOWN_ARROW: Rel = Rel::new('↕', RelCategory::A);
527pub const NORTH_WEST_ARROW: Rel = Rel::new('↖', RelCategory::Default);
528pub const NORTH_EAST_ARROW: Rel = Rel::new('↗', RelCategory::Default);
529pub const SOUTH_EAST_ARROW: Rel = Rel::new('↘', RelCategory::Default);
530pub const SOUTH_WEST_ARROW: Rel = Rel::new('↙', RelCategory::Default);
531pub const LEFTWARDS_ARROW_WITH_STROKE: Rel = Rel::new('↚', RelCategory::A);
532pub const RIGHTWARDS_ARROW_WITH_STROKE: Rel = Rel::new('↛', RelCategory::A);
533// pub const LEFTWARDS_WAVE_ARROW: Rel = Rel::new('↜', RelCategory::Default);
534// pub const RIGHTWARDS_WAVE_ARROW: Rel = Rel::new('↝', RelCategory::Default);
535pub const LEFTWARDS_TWO_HEADED_ARROW: Rel = Rel::new('↞', RelCategory::A);
536// pub const UPWARDS_TWO_HEADED_ARROW: Rel = Rel::new('↟', RelCategory::Default);
537pub const RIGHTWARDS_TWO_HEADED_ARROW: Rel = Rel::new('↠', RelCategory::A);
538// pub const DOWNWARDS_TWO_HEADED_ARROW: Rel = Rel::new('↡', RelCategory::Default);
539pub const LEFTWARDS_ARROW_WITH_TAIL: Rel = Rel::new('↢', RelCategory::A);
540pub const RIGHTWARDS_ARROW_WITH_TAIL: Rel = Rel::new('↣', RelCategory::A);
541// pub const LEFTWARDS_ARROW_FROM_BAR: Rel = Rel::new('↤', RelCategory::Default);
542// pub const UPWARDS_ARROW_FROM_BAR: Rel = Rel::new('↥', RelCategory::Default);
543pub const RIGHTWARDS_ARROW_FROM_BAR: Rel = Rel::new('↦', RelCategory::A);
544// pub const DOWNWARDS_ARROW_FROM_BAR: Rel = Rel::new('↧', RelCategory::Default);
545// pub const UP_DOWN_ARROW_WITH_BASE: Rel = Rel::new('↨', RelCategory::Default);
546pub const LEFTWARDS_ARROW_WITH_HOOK: Rel = Rel::new('↩', RelCategory::A);
547pub const RIGHTWARDS_ARROW_WITH_HOOK: Rel = Rel::new('↪', RelCategory::A);
548pub const LEFTWARDS_ARROW_WITH_LOOP: Rel = Rel::new('↫', RelCategory::A);
549pub const RIGHTWARDS_ARROW_WITH_LOOP: Rel = Rel::new('↬', RelCategory::A);
550pub const LEFT_RIGHT_WAVE_ARROW: Rel = Rel::new('↭', RelCategory::A);
551pub const LEFT_RIGHT_ARROW_WITH_STROKE: Rel = Rel::new('↮', RelCategory::A);
552pub const DOWNWARDS_ZIGZAG_ARROW: Rel = Rel::new('↯', RelCategory::Default);
553pub const UPWARDS_ARROW_WITH_TIP_LEFTWARDS: Rel = Rel::new('↰', RelCategory::A);
554pub const UPWARDS_ARROW_WITH_TIP_RIGHTWARDS: Rel = Rel::new('↱', RelCategory::A);
555// pub const DOWNWARDS_ARROW_WITH_TIP_LEFTWARDS: Rel = Rel::new('↲', RelCategory::Default);
556// pub const DOWNWARDS_ARROW_WITH_TIP_RIGHTWARDS: Rel = Rel::new('↳', RelCategory::Default);
557// pub const RIGHTWARDS_ARROW_WITH_CORNER_DOWNWARDS: Rel = Rel::new('↴', RelCategory::Default);
558// pub const DOWNWARDS_ARROW_WITH_CORNER_LEFTWARDS: Rel = Rel::new('↵', RelCategory::Default);
559pub const ANTICLOCKWISE_TOP_SEMICIRCLE_ARROW: Rel = Rel::new('↶', RelCategory::Default);
560pub const CLOCKWISE_TOP_SEMICIRCLE_ARROW: Rel = Rel::new('↷', RelCategory::Default);
561// pub const NORTH_WEST_ARROW_TO_LONG_BAR: Rel = Rel::new('↸', RelCategory::Default);
562// pub const LEFTWARDS_ARROW_TO_BAR_OVER_RIGHTWARDS_ARROW_TO_BAR: Rel = Rel::new('↹', RelCategory::Default);
563pub const ANTICLOCKWISE_OPEN_CIRCLE_ARROW: Rel = Rel::new('↺', RelCategory::Default);
564pub const CLOCKWISE_OPEN_CIRCLE_ARROW: Rel = Rel::new('↻', RelCategory::Default);
565pub const LEFTWARDS_HARPOON_WITH_BARB_UPWARDS: Rel = Rel::new('↼', RelCategory::A);
566pub const LEFTWARDS_HARPOON_WITH_BARB_DOWNWARDS: Rel = Rel::new('↽', RelCategory::A);
567pub const UPWARDS_HARPOON_WITH_BARB_RIGHTWARDS: Rel = Rel::new('↾', RelCategory::A);
568pub const UPWARDS_HARPOON_WITH_BARB_LEFTWARDS: Rel = Rel::new('↿', RelCategory::A);
569pub const RIGHTWARDS_HARPOON_WITH_BARB_UPWARDS: Rel = Rel::new('⇀', RelCategory::A);
570pub const RIGHTWARDS_HARPOON_WITH_BARB_DOWNWARDS: Rel = Rel::new('⇁', RelCategory::A);
571pub const DOWNWARDS_HARPOON_WITH_BARB_RIGHTWARDS: Rel = Rel::new('⇂', RelCategory::A);
572pub const DOWNWARDS_HARPOON_WITH_BARB_LEFTWARDS: Rel = Rel::new('⇃', RelCategory::A);
573pub const RIGHTWARDS_ARROW_OVER_LEFTWARDS_ARROW: Rel = Rel::new('⇄', RelCategory::A);
574// pub const UPWARDS_ARROW_LEFTWARDS_OF_DOWNWARDS_ARROW: Rel = Rel::new('⇅', RelCategory::Default);
575pub const LEFTWARDS_ARROW_OVER_RIGHTWARDS_ARROW: Rel = Rel::new('⇆', RelCategory::A);
576pub const LEFTWARDS_PAIRED_ARROWS: Rel = Rel::new('⇇', RelCategory::A);
577pub const UPWARDS_PAIRED_ARROWS: Rel = Rel::new('⇈', RelCategory::A);
578pub const RIGHTWARDS_PAIRED_ARROWS: Rel = Rel::new('⇉', RelCategory::A);
579pub const DOWNWARDS_PAIRED_ARROWS: Rel = Rel::new('⇊', RelCategory::A);
580pub const LEFTWARDS_HARPOON_OVER_RIGHTWARDS_HARPOON: Rel = Rel::new('⇋', RelCategory::A);
581pub const RIGHTWARDS_HARPOON_OVER_LEFTWARDS_HARPOON: Rel = Rel::new('⇌', RelCategory::A);
582pub const LEFTWARDS_DOUBLE_ARROW_WITH_STROKE: Rel = Rel::new('⇍', RelCategory::A);
583pub const LEFT_RIGHT_DOUBLE_ARROW_WITH_STROKE: Rel = Rel::new('⇎', RelCategory::A);
584pub const RIGHTWARDS_DOUBLE_ARROW_WITH_STROKE: Rel = Rel::new('⇏', RelCategory::A);
585pub const LEFTWARDS_DOUBLE_ARROW: Rel = Rel::new('⇐', RelCategory::A);
586pub const UPWARDS_DOUBLE_ARROW: Rel = Rel::new('⇑', RelCategory::A);
587pub const RIGHTWARDS_DOUBLE_ARROW: Rel = Rel::new('⇒', RelCategory::A);
588pub const DOWNWARDS_DOUBLE_ARROW: Rel = Rel::new('⇓', RelCategory::A);
589pub const LEFT_RIGHT_DOUBLE_ARROW: Rel = Rel::new('⇔', RelCategory::A);
590pub const UP_DOWN_DOUBLE_ARROW: Rel = Rel::new('⇕', RelCategory::A);
591// pub const NORTH_WEST_DOUBLE_ARROW: Rel = Rel::new('⇖', RelCategory::Default);
592// pub const NORTH_EAST_DOUBLE_ARROW: Rel = Rel::new('⇗', RelCategory::Default);
593// pub const SOUTH_EAST_DOUBLE_ARROW: Rel = Rel::new('⇘', RelCategory::Default);
594// pub const SOUTH_WEST_DOUBLE_ARROW: Rel = Rel::new('⇙', RelCategory::Default);
595pub const LEFTWARDS_TRIPLE_ARROW: Rel = Rel::new('⇚', RelCategory::A);
596pub const RIGHTWARDS_TRIPLE_ARROW: Rel = Rel::new('⇛', RelCategory::A);
597// pub const LEFTWARDS_SQUIGGLE_ARROW: Rel = Rel::new('⇜', RelCategory::Default);
598pub const RIGHTWARDS_SQUIGGLE_ARROW: Rel = Rel::new('⇝', RelCategory::A);
599// pub const UPWARDS_ARROW_WITH_DOUBLE_STROKE: Rel = Rel::new('⇞', RelCategory::Default);
600// pub const DOWNWARDS_ARROW_WITH_DOUBLE_STROKE: Rel = Rel::new('⇟', RelCategory::Default);
601// pub const LEFTWARDS_DASHED_ARROW: Rel = Rel::new('⇠', RelCategory::Default);
602// pub const UPWARDS_DASHED_ARROW: Rel = Rel::new('⇡', RelCategory::Default);
603// pub const RIGHTWARDS_DASHED_ARROW: Rel = Rel::new('⇢', RelCategory::Default);
604// pub const DOWNWARDS_DASHED_ARROW: Rel = Rel::new('⇣', RelCategory::Default);
605// pub const LEFTWARDS_ARROW_TO_BAR: Rel = Rel::new('⇤', RelCategory::Default);
606// pub const RIGHTWARDS_ARROW_TO_BAR: Rel = Rel::new('⇥', RelCategory::Default);
607// pub const LEFTWARDS_WHITE_ARROW: Rel = Rel::new('⇦', RelCategory::Default);
608// pub const UPWARDS_WHITE_ARROW: Rel = Rel::new('⇧', RelCategory::Default);
609// pub const RIGHTWARDS_WHITE_ARROW: Rel = Rel::new('⇨', RelCategory::Default);
610// pub const DOWNWARDS_WHITE_ARROW: Rel = Rel::new('⇩', RelCategory::Default);
611// pub const UPWARDS_WHITE_ARROW_FROM_BAR: Rel = Rel::new('⇪', RelCategory::Default);
612// pub const UPWARDS_WHITE_ARROW_ON_PEDESTAL: Rel = Rel::new('⇫', RelCategory::Default);
613// pub const UPWARDS_WHITE_ARROW_ON_PEDESTAL_WITH_HORIZONTAL_BAR: Rel = Rel::new('⇬', RelCategory::Default);
614// pub const UPWARDS_WHITE_ARROW_ON_PEDESTAL_WITH_VERTICAL_BAR: Rel = Rel::new('⇭', RelCategory::Default);
615// pub const UPWARDS_WHITE_DOUBLE_ARROW: Rel = Rel::new('⇮', RelCategory::Default);
616// pub const UPWARDS_WHITE_DOUBLE_ARROW_ON_PEDESTAL: Rel = Rel::new('⇯', RelCategory::Default);
617// pub const RIGHTWARDS_WHITE_ARROW_FROM_WALL: Rel = Rel::new('⇰', RelCategory::Default);
618// pub const NORTH_WEST_ARROW_TO_CORNER: Rel = Rel::new('⇱', RelCategory::Default);
619// pub const SOUTH_EAST_ARROW_TO_CORNER: Rel = Rel::new('⇲', RelCategory::Default);
620// pub const UP_DOWN_WHITE_ARROW: Rel = Rel::new('⇳', RelCategory::Default);
621// pub const RIGHT_ARROW_WITH_SMALL_CIRCLE: Rel = Rel::new('⇴', RelCategory::Default);
622// pub const DOWNWARDS_ARROW_LEFTWARDS_OF_UPWARDS_ARROW: Rel = Rel::new('⇵', RelCategory::Default);
623// pub const THREE_RIGHTWARDS_ARROWS: Rel = Rel::new('⇶', RelCategory::Default);
624// pub const LEFTWARDS_ARROW_WITH_VERTICAL_STROKE: Rel = Rel::new('⇷', RelCategory::Default);
625// pub const RIGHTWARDS_ARROW_WITH_VERTICAL_STROKE: Rel = Rel::new('⇸', RelCategory::Default);
626// pub const LEFT_RIGHT_ARROW_WITH_VERTICAL_STROKE: Rel = Rel::new('⇹', RelCategory::Default);
627// pub const LEFTWARDS_ARROW_WITH_DOUBLE_VERTICAL_STROKE: Rel = Rel::new('⇺', RelCategory::Default);
628// pub const RIGHTWARDS_ARROW_WITH_DOUBLE_VERTICAL_STROKE: Rel = Rel::new('⇻', RelCategory::Default);
629// pub const LEFT_RIGHT_ARROW_WITH_DOUBLE_VERTICAL_STROKE: Rel = Rel::new('⇼', RelCategory::Default);
630// pub const LEFTWARDS_OPEN_HEADED_ARROW: Rel = Rel::new('⇽', RelCategory::Default);
631// pub const RIGHTWARDS_OPEN_HEADED_ARROW: Rel = Rel::new('⇾', RelCategory::Default);
632// pub const LEFT_RIGHT_OPEN_HEADED_ARROW: Rel = Rel::new('⇿', RelCategory::Default);
633
634//
635// Unicode Block: Mathematical Operators
636//
637pub const FOR_ALL: OrdLike = OrdLike::new('∀', OrdCategory::D);
638pub const COMPLEMENT: OrdLike = OrdLike::new('∁', OrdCategory::D);
639pub const PARTIAL_DIFFERENTIAL: char = '∂'; // char so that it can be transformed
640pub const THERE_EXISTS: OrdLike = OrdLike::new('∃', OrdCategory::D);
641pub const THERE_DOES_NOT_EXIST: OrdLike = OrdLike::new('∄', OrdCategory::D);
642pub const EMPTY_SET: char = '∅';
643// pub const INCREMENT: Ord = ord('∆');
644pub const NABLA: char = '∇'; // char so that it can be transformed
645pub const ELEMENT_OF: Rel = Rel::new('∈', RelCategory::Default);
646pub const NOT_AN_ELEMENT_OF: Rel = Rel::new('∉', RelCategory::Default);
647// pub const SMALL_ELEMENT_OF: Rel = Rel::new('∊', RelCategory::Default);
648pub const CONTAINS_AS_MEMBER: Rel = Rel::new('∋', RelCategory::Default);
649// pub const DOES_NOT_CONTAIN_AS_MEMBER: Rel = Rel::new('∌', RelCategory::Default);
650// pub const SMALL_CONTAINS_AS_MEMBER: Rel = Rel::new('∍', RelCategory::Default);
651// pub const END_OF_PROOF: Ord = ord('∎');
652pub const N_ARY_PRODUCT: Op = Op::new('∏', OpCategory::J);
653pub const N_ARY_COPRODUCT: Op = Op::new('∐', OpCategory::J);
654pub const N_ARY_SUMMATION: Op = Op::new('∑', OpCategory::J);
655pub const MINUS_SIGN: Bin = Bin::new('−', BinCategory::BD);
656pub const MINUS_OR_PLUS_SIGN: Bin = Bin::new('∓', BinCategory::BD);
657pub const DOT_PLUS: Bin = Bin::new('∔', BinCategory::B);
658// pub const DIVISION_SLASH: Op = Op('∕');
659pub const SET_MINUS: Bin = Bin::new('∖', BinCategory::B);
660pub const ASTERISK_OPERATOR: Op = Op::new('∗', OpCategory::C);
661pub const RING_OPERATOR: Op = Op::new('∘', OpCategory::C);
662pub const BULLET_OPERATOR: Op = Op::new('∙', OpCategory::C);
663// pub const SQUARE_ROOT: Op = Op('√');
664// pub const CUBE_ROOT: Op = Op('∛');
665// pub const FOURTH_ROOT: Op = Op('∜');
666pub const PROPORTIONAL_TO: Rel = Rel::new('∝', RelCategory::Default);
667pub const INFINITY: char = '∞';
668// pub const RIGHT_ANGLE: Op = Op('∟');
669pub const ANGLE: char = '∠';
670pub const MEASURED_ANGLE: char = '∡';
671pub const SPHERICAL_ANGLE: char = '∢';
672pub const DIVIDES: Rel = Rel::new('∣', RelCategory::Default);
673pub const DOES_NOT_DIVIDE: Rel = Rel::new('∤', RelCategory::Default);
674pub const PARALLEL_TO: Rel = Rel::new('∥', RelCategory::Default);
675pub const NOT_PARALLEL_TO: Rel = Rel::new('∦', RelCategory::Default);
676pub const LOGICAL_AND: Bin = Bin::new('∧', BinCategory::B);
677pub const LOGICAL_OR: Bin = Bin::new('∨', BinCategory::B);
678pub const INTERSECTION: Bin = Bin::new('∩', BinCategory::B);
679pub const UNION: Bin = Bin::new('∪', BinCategory::B);
680pub const INTEGRAL: Op = Op::new('∫', OpCategory::H);
681pub const DOUBLE_INTEGRAL: Op = Op::new('∬', OpCategory::H);
682pub const TRIPLE_INTEGRAL: Op = Op::new('∭', OpCategory::H);
683pub const CONTOUR_INTEGRAL: Op = Op::new('∮', OpCategory::H);
684pub const SURFACE_INTEGRAL: Op = Op::new('∯', OpCategory::H);
685pub const VOLUME_INTEGRAL: Op = Op::new('∰', OpCategory::H);
686pub const CLOCKWISE_INTEGRAL: Op = Op::new('∱', OpCategory::H);
687pub const CLOCKWISE_CONTOUR_INTEGRAL: Op = Op::new('∲', OpCategory::H);
688pub const ANTICLOCKWISE_CONTOUR_INTEGRAL: Op = Op::new('∳', OpCategory::H);
689pub const THEREFORE: Rel = Rel::new('∴', RelCategory::Default);
690pub const BECAUSE: Rel = Rel::new('∵', RelCategory::Default);
691// pub const RATIO: Op = Op('∶');
692pub const PROPORTION: Rel = Rel::new('∷', RelCategory::Default);
693// pub const DOT_MINUS: Op = Op('∸');
694pub const EXCESS: Rel = Rel::new('∹', RelCategory::Default);
695pub const GEOMETRIC_PROPORTION: Rel = Rel::new('∺', RelCategory::Default);
696pub const HOMOTHETIC: Rel = Rel::new('∻', RelCategory::Default);
697pub const TILDE_OPERATOR: Rel = Rel::new('∼', RelCategory::Default);
698pub const REVERSED_TILDE: Rel = Rel::new('∽', RelCategory::Default);
699// pub const INVERTED_LAZY_S: Op = Op('∾');
700// pub const SINE_WAVE: Op = Op('∿');
701pub const WREATH_PRODUCT: Op = Op::new('≀', OpCategory::C);
702pub const NOT_TILDE: Rel = Rel::new('≁', RelCategory::Default);
703pub const MINUS_TILDE: Rel = Rel::new('≂', RelCategory::Default);
704pub const ASYMPTOTICALLY_EQUAL_TO: Rel = Rel::new('≃', RelCategory::Default);
705pub const NOT_ASYMPTOTICALLY_EQUAL_TO: Rel = Rel::new('≄', RelCategory::Default);
706pub const APPROXIMATELY_EQUAL_TO: Rel = Rel::new('≅', RelCategory::Default);
707// pub const APPROXIMATELY_BUT_NOT_ACTUALLY_EQUAL_TO: Rel = Rel::new('≆', RelCategory::Default);
708// pub const NEITHER_APPROXIMATELY_NOR_ACTUALLY_EQUAL_TO: Rel = Rel::new('≇', RelCategory::Default);
709pub const ALMOST_EQUAL_TO: Rel = Rel::new('≈', RelCategory::Default);
710pub const NOT_ALMOST_EQUAL_TO: Rel = Rel::new('≉', RelCategory::Default);
711pub const ALMOST_EQUAL_OR_EQUAL_TO: Rel = Rel::new('≊', RelCategory::Default);
712// pub const TRIPLE_TILDE: Rel = Rel::new('≋', RelCategory::Default);
713// pub const ALL_EQUAL_TO: Rel = Rel::new('≌', RelCategory::Default);
714pub const EQUIVALENT_TO: Rel = Rel::new('≍', RelCategory::Default);
715pub const GEOMETRICALLY_EQUIVALENT_TO: Rel = Rel::new('≎', RelCategory::Default);
716pub const DIFFERENCE_BETWEEN: Rel = Rel::new('≏', RelCategory::Default);
717pub const APPROACHES_THE_LIMIT: Rel = Rel::new('≐', RelCategory::Default);
718pub const GEOMETRICALLY_EQUAL_TO: Rel = Rel::new('≑', RelCategory::Default);
719pub const APPROXIMATELY_EQUAL_TO_OR_THE_IMAGE_OF: Rel = Rel::new('≒', RelCategory::Default);
720pub const IMAGE_OF_OR_APPROXIMATELY_EQUAL_TO: Rel = Rel::new('≓', RelCategory::Default);
721pub const COLON_EQUALS: Rel = Rel::new('≔', RelCategory::Default);
722pub const EQUALS_COLON: Rel = Rel::new('≕', RelCategory::Default);
723pub const RING_IN_EQUAL_TO: Rel = Rel::new('≖', RelCategory::Default);
724pub const RING_EQUAL_TO: Rel = Rel::new('≗', RelCategory::Default);
725pub const CORRESPONDS_TO: Rel = Rel::new('≘', RelCategory::Default);
726pub const ESTIMATES: Rel = Rel::new('≙', RelCategory::Default);
727pub const EQUIANGULAR_TO: Rel = Rel::new('≚', RelCategory::Default);
728pub const STAR_EQUALS: Rel = Rel::new('≛', RelCategory::Default);
729pub const DELTA_EQUAL_TO: Rel = Rel::new('≜', RelCategory::Default);
730pub const EQUAL_TO_BY_DEFINITION: Rel = Rel::new('≝', RelCategory::Default);
731pub const MEASURED_BY: Rel = Rel::new('≞', RelCategory::Default);
732pub const QUESTIONED_EQUAL_TO: Rel = Rel::new('≟', RelCategory::Default);
733pub const NOT_EQUAL_TO: Rel = Rel::new('≠', RelCategory::Default);
734pub const IDENTICAL_TO: Rel = Rel::new('≡', RelCategory::Default);
735pub const NOT_IDENTICAL_TO: Rel = Rel::new('≢', RelCategory::Default);
736// pub const STRICTLY_EQUIVALENT_TO: Rel = Rel::new('≣', RelCategory::Default);
737pub const LESS_THAN_OR_EQUAL_TO: Rel = Rel::new('≤', RelCategory::Default);
738pub const GREATER_THAN_OR_EQUAL_TO: Rel = Rel::new('≥', RelCategory::Default);
739pub const LESS_THAN_OVER_EQUAL_TO: Rel = Rel::new('≦', RelCategory::Default);
740pub const GREATER_THAN_OVER_EQUAL_TO: Rel = Rel::new('≧', RelCategory::Default);
741pub const LESS_THAN_BUT_NOT_EQUAL_TO: Rel = Rel::new('≨', RelCategory::Default);
742pub const GREATER_THAN_BUT_NOT_EQUAL_TO: Rel = Rel::new('≩', RelCategory::Default);
743pub const MUCH_LESS_THAN: Rel = Rel::new('≪', RelCategory::Default);
744pub const MUCH_GREATER_THAN: Rel = Rel::new('≫', RelCategory::Default);
745pub const BETWEEN: Rel = Rel::new('≬', RelCategory::Default);
746// pub const NOT_EQUIVALENT_TO: Rel = Rel::new('≭', RelCategory::Default);
747pub const NOT_LESS_THAN: Rel = Rel::new('≮', RelCategory::Default);
748pub const NOT_GREATER_THAN: Rel = Rel::new('≯', RelCategory::Default);
749pub const NEITHER_LESS_THAN_NOR_EQUAL_TO: Rel = Rel::new('≰', RelCategory::Default);
750pub const NEITHER_GREATER_THAN_NOR_EQUAL_TO: Rel = Rel::new('≱', RelCategory::Default);
751pub const LESS_THAN_OR_EQUIVALENT_TO: Rel = Rel::new('≲', RelCategory::Default);
752pub const GREATER_THAN_OR_EQUIVALENT_TO: Rel = Rel::new('≳', RelCategory::Default);
753pub const NEITHER_LESS_THAN_NOR_EQUIVALENT_TO: Rel = Rel::new('≴', RelCategory::Default);
754pub const NEITHER_GREATER_THAN_NOR_EQUIVALENT_TO: Rel = Rel::new('≵', RelCategory::Default);
755pub const LESS_THAN_OR_GREATER_THAN: Rel = Rel::new('≶', RelCategory::Default);
756pub const GREATER_THAN_OR_LESS_THAN: Rel = Rel::new('≷', RelCategory::Default);
757pub const NEITHER_LESS_THAN_NOR_GREATER_THAN: Rel = Rel::new('≸', RelCategory::Default);
758pub const NEITHER_GREATER_THAN_NOR_LESS_THAN: Rel = Rel::new('≹', RelCategory::Default);
759pub const PRECEDES: Rel = Rel::new('≺', RelCategory::Default);
760pub const SUCCEEDS: Rel = Rel::new('≻', RelCategory::Default);
761pub const PRECEDES_OR_EQUAL_TO: Rel = Rel::new('≼', RelCategory::Default);
762pub const SUCCEEDS_OR_EQUAL_TO: Rel = Rel::new('≽', RelCategory::Default);
763pub const PRECEDES_OR_EQUIVALENT_TO: Rel = Rel::new('≾', RelCategory::Default);
764pub const SUCCEEDS_OR_EQUIVALENT_TO: Rel = Rel::new('≿', RelCategory::Default);
765pub const DOES_NOT_PRECEDE: Rel = Rel::new('⊀', RelCategory::Default);
766pub const DOES_NOT_SUCCEED: Rel = Rel::new('⊁', RelCategory::Default);
767pub const SUBSET_OF: Rel = Rel::new('⊂', RelCategory::Default);
768pub const SUPERSET_OF: Rel = Rel::new('⊃', RelCategory::Default);
769pub const NOT_A_SUBSET_OF: Rel = Rel::new('⊄', RelCategory::Default);
770pub const NOT_A_SUPERSET_OF: Rel = Rel::new('⊅', RelCategory::Default);
771pub const SUBSET_OF_OR_EQUAL_TO: Rel = Rel::new('⊆', RelCategory::Default);
772pub const SUPERSET_OF_OR_EQUAL_TO: Rel = Rel::new('⊇', RelCategory::Default);
773pub const NEITHER_A_SUBSET_OF_NOR_EQUAL_TO: Rel = Rel::new('⊈', RelCategory::Default);
774pub const NEITHER_A_SUPERSET_OF_NOR_EQUAL_TO: Rel = Rel::new('⊉', RelCategory::Default);
775pub const SUBSET_OF_WITH_NOT_EQUAL_TO: Rel = Rel::new('⊊', RelCategory::Default);
776pub const SUPERSET_OF_WITH_NOT_EQUAL_TO: Rel = Rel::new('⊋', RelCategory::Default);
777// pub const MULTISET: Bin = Bin::new('⊌', BinCategory::BD);
778// pub const MULTISET_MULTIPLICATION: Bin = Bin::new('⊍', BinCategory::BD);
779pub const MULTISET_UNION: Bin = Bin::new('⊎', BinCategory::B);
780pub const SQUARE_IMAGE_OF: Rel = Rel::new('⊏', RelCategory::Default);
781pub const SQUARE_ORIGINAL_OF: Rel = Rel::new('⊐', RelCategory::Default);
782pub const SQUARE_IMAGE_OF_OR_EQUAL_TO: Rel = Rel::new('⊑', RelCategory::Default);
783pub const SQUARE_ORIGINAL_OF_OR_EQUAL_TO: Rel = Rel::new('⊒', RelCategory::Default);
784pub const SQUARE_CAP: Bin = Bin::new('⊓', BinCategory::B);
785pub const SQUARE_CUP: Bin = Bin::new('⊔', BinCategory::B);
786pub const CIRCLED_PLUS: Bin = Bin::new('⊕', BinCategory::B);
787pub const CIRCLED_MINUS: Bin = Bin::new('⊖', BinCategory::B);
788pub const CIRCLED_TIMES: Op = Op::new('⊗', OpCategory::C);
789pub const CIRCLED_DIVISION_SLASH: Bin = Bin::new('⊘', BinCategory::B);
790pub const CIRCLED_DOT_OPERATOR: Op = Op::new('⊙', OpCategory::C);
791pub const CIRCLED_RING_OPERATOR: Op = Op::new('⊚', OpCategory::C);
792pub const CIRCLED_ASTERISK_OPERATOR: Op = Op::new('⊛', OpCategory::C);
793// pub const CIRCLED_EQUALS: Op = Op('⊜');
794pub const CIRCLED_DASH: Bin = Bin::new('⊝', BinCategory::B);
795pub const SQUARED_PLUS: Bin = Bin::new('⊞', BinCategory::B);
796pub const SQUARED_MINUS: Bin = Bin::new('⊟', BinCategory::B);
797pub const SQUARED_TIMES: Op = Op::new('⊠', OpCategory::C);
798pub const SQUARED_DOT_OPERATOR: Op = Op::new('⊡', OpCategory::C);
799pub const RIGHT_TACK: Rel = Rel::new('⊢', RelCategory::Default);
800pub const LEFT_TACK: Rel = Rel::new('⊣', RelCategory::Default);
801pub const DOWN_TACK: char = '⊤';
802pub const UP_TACK: char = '⊥';
803// pub const ASSERTION: Op = Op('⊦');
804// pub const MODELS: Op = Op('⊧');
805pub const TRUE: Rel = Rel::new('⊨', RelCategory::Default);
806pub const FORCES: Rel = Rel::new('⊩', RelCategory::Default);
807pub const TRIPLE_VERTICAL_BAR_RIGHT_TURNSTILE: Rel = Rel::new('⊪', RelCategory::Default);
808pub const DOUBLE_VERTICAL_BAR_DOUBLE_RIGHT_TURNSTILE: Rel = Rel::new('⊫', RelCategory::Default);
809pub const DOES_NOT_PROVE: Rel = Rel::new('⊬', RelCategory::Default);
810pub const NOT_TRUE: Rel = Rel::new('⊭', RelCategory::Default);
811pub const DOES_NOT_FORCE: Rel = Rel::new('⊮', RelCategory::Default);
812pub const NEGATED_DOUBLE_VERTICAL_BAR_DOUBLE_RIGHT_TURNSTILE: Rel =
813    Rel::new('⊯', RelCategory::Default);
814// pub const PRECEDES_UNDER_RELATION: Op = Op('⊰');
815// pub const SUCCEEDS_UNDER_RELATION: Op = Op('⊱');
816pub const NORMAL_SUBGROUP_OF: Rel = Rel::new('⊲', RelCategory::Default);
817pub const CONTAINS_AS_NORMAL_SUBGROUP: Rel = Rel::new('⊳', RelCategory::Default);
818pub const NORMAL_SUBGROUP_OF_OR_EQUAL_TO: Rel = Rel::new('⊴', RelCategory::Default);
819pub const CONTAINS_AS_NORMAL_SUBGROUP_OR_EQUAL_TO: Rel = Rel::new('⊵', RelCategory::Default);
820// pub const ORIGINAL_OF: Op = Op('⊶');
821// pub const IMAGE_OF: Op = Op('⊷');
822pub const MULTIMAP: Rel = Rel::new('⊸', RelCategory::Default);
823// pub const HERMITIAN_CONJUGATE_MATRIX: Op = Op('⊹');
824pub const INTERCALATE: Rel = Rel::new('⊺', RelCategory::Default);
825pub const XOR: Bin = Bin::new('⊻', BinCategory::B);
826pub const NAND: Bin = Bin::new('⊼', BinCategory::B);
827// pub const NOR: Op = Op('⊽');
828// pub const RIGHT_ANGLE_WITH_ARC: Op = Op('⊾');
829// pub const RIGHT_TRIANGLE: Op = Op('⊿');
830pub const N_ARY_LOGICAL_AND: Op = Op::new('⋀', OpCategory::J);
831pub const N_ARY_LOGICAL_OR: Op = Op::new('⋁', OpCategory::J);
832pub const N_ARY_INTERSECTION: Op = Op::new('⋂', OpCategory::J);
833pub const N_ARY_UNION: Op = Op::new('⋃', OpCategory::J);
834pub const DIAMOND_OPERATOR: Op = Op::new('⋄', OpCategory::C);
835// pub const DOT_OPERATOR: Bin = Bin::new('⋅', BinCategory::BD);
836pub const STAR_OPERATOR: Op = Op::new('⋆', OpCategory::C);
837pub const DIVISION_TIMES: Op = Op::new('⋇', OpCategory::C);
838pub const BOWTIE: Rel = Rel::new('⋈', RelCategory::Default);
839pub const LEFT_NORMAL_FACTOR_SEMIDIRECT_PRODUCT: Op = Op::new('⋉', OpCategory::C);
840pub const RIGHT_NORMAL_FACTOR_SEMIDIRECT_PRODUCT: Op = Op::new('⋊', OpCategory::C);
841pub const LEFT_SEMIDIRECT_PRODUCT: Op = Op::new('⋋', OpCategory::C);
842pub const RIGHT_SEMIDIRECT_PRODUCT: Op = Op::new('⋌', OpCategory::C);
843pub const REVERSED_TILDE_EQUALS: Rel = Rel::new('⋍', RelCategory::Default);
844pub const CURLY_LOGICAL_OR: Bin = Bin::new('⋎', BinCategory::B);
845pub const CURLY_LOGICAL_AND: Bin = Bin::new('⋏', BinCategory::B);
846pub const DOUBLE_SUBSET: Rel = Rel::new('⋐', RelCategory::Default);
847pub const DOUBLE_SUPERSET: Rel = Rel::new('⋑', RelCategory::Default);
848pub const DOUBLE_INTERSECTION: Bin = Bin::new('⋒', BinCategory::B);
849pub const DOUBLE_UNION: Bin = Bin::new('⋓', BinCategory::B);
850pub const PITCHFORK: Rel = Rel::new('⋔', RelCategory::Default);
851// pub const EQUAL_AND_PARALLEL_TO: Op = Op('⋕');
852pub const LESS_THAN_WITH_DOT: Rel = Rel::new('⋖', RelCategory::Default);
853// pub const GREATER_THAN_WITH_DOT: Rel = Rel::new('⋗', RelCategory::Default);
854pub const VERY_MUCH_LESS_THAN: Rel = Rel::new('⋘', RelCategory::Default);
855// pub const VERY_MUCH_GREATER_THAN: Rel = Rel::new('⋙', RelCategory::Default);
856pub const LESS_THAN_EQUAL_TO_OR_GREATER_THAN: Rel = Rel::new('⋚', RelCategory::Default);
857pub const GREATER_THAN_EQUAL_TO_OR_LESS_THAN: Rel = Rel::new('⋛', RelCategory::Default);
858// pub const EQUAL_TO_OR_LESS_THAN: Rel = Rel::new('⋜', RelCategory::Default);
859// pub const EQUAL_TO_OR_GREATER_THAN: Rel = Rel::new('⋝', RelCategory::Default);
860pub const EQUAL_TO_OR_PRECEDES: Rel = Rel::new('⋞', RelCategory::Default);
861pub const EQUAL_TO_OR_SUCCEEDS: Rel = Rel::new('⋟', RelCategory::Default);
862pub const DOES_NOT_PRECEDE_OR_EQUAL: Rel = Rel::new('⋠', RelCategory::Default);
863pub const DOES_NOT_SUCCEED_OR_EQUAL: Rel = Rel::new('⋡', RelCategory::Default);
864// pub const NOT_SQUARE_IMAGE_OF_OR_EQUAL_TO: Rel = Rel::new('⋢', RelCategory::Default);
865// pub const NOT_SQUARE_ORIGINAL_OF_OR_EQUAL_TO: Rel = Rel::new('⋣', RelCategory::Default);
866// pub const SQUARE_IMAGE_OF_OR_NOT_EQUAL_TO: Rel = Rel::new('⋤', RelCategory::Default);
867// pub const SQUARE_ORIGINAL_OF_OR_NOT_EQUAL_TO: Rel = Rel::new('⋥', RelCategory::Default);
868pub const LESS_THAN_BUT_NOT_EQUIVALENT_TO: Rel = Rel::new('⋦', RelCategory::Default);
869pub const GREATER_THAN_BUT_NOT_EQUIVALENT_TO: Rel = Rel::new('⋧', RelCategory::Default);
870pub const PRECEDES_BUT_NOT_EQUIVALENT_TO: Rel = Rel::new('⋨', RelCategory::Default);
871pub const SUCCEEDS_BUT_NOT_EQUIVALENT_TO: Rel = Rel::new('⋩', RelCategory::Default);
872// pub const NOT_NORMAL_SUBGROUP_OF: Rel = Rel::new('⋪', RelCategory::Default);
873// pub const DOES_NOT_CONTAIN_AS_NORMAL_SUBGROUP: Rel = Rel::new('⋫', RelCategory::Default);
874// pub const NOT_NORMAL_SUBGROUP_OF_OR_EQUAL_TO: Rel = Rel::new('⋬', RelCategory::Default);
875// pub const DOES_NOT_CONTAIN_AS_NORMAL_SUBGROUP_OR_EQUAL: Rel = Rel::new('⋭', RelCategory::Default);
876pub const VERTICAL_ELLIPSIS: Rel = Rel::new('⋮', RelCategory::Default);
877// pub const MIDLINE_HORIZONTAL_ELLIPSIS: Rel = Rel::new('⋯', RelCategory::Default);
878// pub const UP_RIGHT_DIAGONAL_ELLIPSIS: Op = Op('⋰');
879pub const DOWN_RIGHT_DIAGONAL_ELLIPSIS: Rel = Rel::new('⋱', RelCategory::Default);
880// pub const ELEMENT_OF_WITH_LONG_HORIZONTAL_STROKE: Op = Op('⋲');
881// pub const ELEMENT_OF_WITH_VERTICAL_BAR_AT_END_OF_HORIZONTAL_STROKE: Op = Op('⋳');
882// pub const SMALL_ELEMENT_OF_WITH_VERTICAL_BAR_AT_END_OF_HORIZONTAL_STROKE: Op = Op('⋴');
883// pub const ELEMENT_OF_WITH_DOT_ABOVE: Op = Op('⋵');
884// pub const ELEMENT_OF_WITH_OVERBAR: Op = Op('⋶');
885// pub const SMALL_ELEMENT_OF_WITH_OVERBAR: Op = Op('⋷');
886// pub const ELEMENT_OF_WITH_UNDERBAR: Op = Op('⋸');
887// pub const ELEMENT_OF_WITH_TWO_HORIZONTAL_STROKES: Op = Op('⋹');
888// pub const CONTAINS_WITH_LONG_HORIZONTAL_STROKE: Op = Op('⋺');
889// pub const CONTAINS_WITH_VERTICAL_BAR_AT_END_OF_HORIZONTAL_STROKE: Op = Op('⋻');
890// pub const SMALL_CONTAINS_WITH_VERTICAL_BAR_AT_END_OF_HORIZONTAL_STROKE: Op = Op('⋼');
891// pub const CONTAINS_WITH_OVERBAR: Op = Op('⋽');
892// pub const SMALL_CONTAINS_WITH_OVERBAR: Op = Op('⋾');
893// pub const Z_NOTATION_BAG_MEMBERSHIP: Op = Op('⋿');
894
895//
896// Unicode Block: Miscellaneous Technical
897//
898pub const LEFT_CEILING: OrdLike = OrdLike::new('⌈', OrdCategory::F);
899pub const RIGHT_CEILING: OrdLike = OrdLike::new('⌉', OrdCategory::G);
900pub const LEFT_FLOOR: OrdLike = OrdLike::new('⌊', OrdCategory::F);
901pub const RIGHT_FLOOR: OrdLike = OrdLike::new('⌋', OrdCategory::G);
902pub const TOP_LEFT_CORNER: char = '⌜';
903pub const TOP_RIGHT_CORNER: char = '⌝';
904pub const BOTTOM_LEFT_CORNER: char = '⌞';
905pub const BOTTOM_RIGHT_CORNER: char = '⌟';
906pub const FROWN: Rel = Rel::new('⌢', RelCategory::Default);
907pub const SMILE: Rel = Rel::new('⌣', RelCategory::Default);
908pub const TOP_SQUARE_BRACKET: OrdLike = OrdLike::new('⎴', OrdCategory::I);
909pub const BOTTOM_SQUARE_BRACKET: OrdLike = OrdLike::new('⎵', OrdCategory::I);
910pub const TOP_PARENTHESIS: OrdLike = OrdLike::new('⏜', OrdCategory::I);
911pub const BOTTOM_PARENTHESIS: OrdLike = OrdLike::new('⏝', OrdCategory::I);
912pub const TOP_CURLY_BRACKET: OrdLike = OrdLike::new('⏞', OrdCategory::I);
913pub const BOTTOM_CURLY_BRACKET: OrdLike = OrdLike::new('⏟', OrdCategory::I);
914
915//
916// Unicode Block: Enclosed Alphanumerics
917//
918pub const CIRCLED_LATIN_CAPITAL_LETTER_R: char = 'Ⓡ'; // not treated as operator
919pub const CIRCLED_LATIN_CAPITAL_LETTER_S: char = 'Ⓢ'; // not treated as operator
920
921//
922// Unicode Block: Geometric Shapes
923//
924pub const BLACK_SQUARE: char = '■';
925pub const WHITE_SQUARE: char = '□';
926
927pub const BLACK_UP_POINTING_TRIANGLE: char = '▲';
928pub const WHITE_UP_POINTING_TRIANGLE: char = '△';
929
930pub const BLACK_RIGHT_POINTING_TRIANGLE: char = '▶';
931pub const WHITE_RIGHT_POINTING_TRIANGLE: char = '▷';
932
933pub const BLACK_DOWN_POINTING_TRIANGLE: char = '▼';
934pub const WHITE_DOWN_POINTING_TRIANGLE: char = '▽';
935
936pub const BLACK_LEFT_POINTING_TRIANGLE: char = '◀';
937pub const WHITE_LEFT_POINTING_TRIANGLE: char = '◁';
938
939pub const LOZENGE: char = '◊';
940
941pub const LARGE_CIRCLE: char = '◯';
942
943pub const WHITE_MEDIUM_SQUARE: char = '◻';
944
945//
946// Unicode Block: Miscellaneous Symbols
947//
948pub const BLACK_STAR: char = '★';
949
950pub const SUN: char = '☉';
951pub const ASCENDING_NODE: char = '☊';
952
953pub const WHITE_SUN_WITH_RAYS: char = '☼';
954
955pub const MERCURY: char = '☿';
956pub const FEMALE_SIGN: char = '♀';
957pub const EARTH: char = '♁';
958pub const MALE_SIGN: char = '♂';
959pub const JUPITER: char = '♃';
960pub const SATURN: char = '♄';
961pub const URANUS: char = '♅';
962pub const NEPTUNE: char = '♆';
963// pub const PLUTO: char = '♇';
964
965pub const BLACK_SPADE_SUIT: char = '♠';
966pub const WHITE_HEART_SUIT: char = '♡';
967pub const WHITE_DIAMOND_SUIT: char = '♢';
968pub const BLACK_CLUB_SUIT: char = '♣';
969// pub const WHITE_SPADE_SUIT: char = '♤';
970// pub const BLACK_HEART_SUIT: char = '♥';
971// pub const BLACK_DIAMOND_SUIT: char = '♦';
972// pub const WHITE_CLUB_SUIT: char = '♧';
973
974//
975// Unicode Block: Dingbats
976//
977pub const MALTESE_CROSS: char = '✠';
978
979//
980// Unicode Block: Miscellaneous Mathematical Symbols-A
981//
982pub const PERPENDICULAR: Rel = Rel::new('⟂', RelCategory::Default);
983
984pub const MATHEMATICAL_LEFT_WHITE_SQUARE_BRACKET: OrdLike = OrdLike::new('⟦', OrdCategory::F);
985pub const MATHEMATICAL_RIGHT_WHITE_SQUARE_BRACKET: OrdLike = OrdLike::new('⟧', OrdCategory::G);
986pub const MATHEMATICAL_LEFT_ANGLE_BRACKET: OrdLike = OrdLike::new('⟨', OrdCategory::F);
987pub const MATHEMATICAL_RIGHT_ANGLE_BRACKET: OrdLike = OrdLike::new('⟩', OrdCategory::G);
988pub const MATHEMATICAL_LEFT_DOUBLE_ANGLE_BRACKET: OrdLike = OrdLike::new('⟪', OrdCategory::F);
989pub const MATHEMATICAL_RIGHT_DOUBLE_ANGLE_BRACKET: OrdLike = OrdLike::new('⟫', OrdCategory::G);
990// pub const MATHEMATICAL_LEFT_WHITE_TORTOISE_SHELL_BRACKET: OrdLike = OrdLike::new('⟬', OrdCategory::F);
991// pub const MATHEMATICAL_RIGHT_WHITE_TORTOISE_SHELL_BRACKET: OrdLike = OrdLike::new('⟭', OrdCategory::G);
992pub const MATHEMATICAL_LEFT_FLATTENED_PARENTHESIS: OrdLike = OrdLike::new('⟮', OrdCategory::F);
993pub const MATHEMATICAL_RIGHT_FLATTENED_PARENTHESIS: OrdLike = OrdLike::new('⟯', OrdCategory::G);
994
995//
996// Unicode Block: Supplemental Arrows-A
997//
998pub const LONG_LEFTWARDS_ARROW: Rel = Rel::new('⟵', RelCategory::A);
999pub const LONG_RIGHTWARDS_ARROW: Rel = Rel::new('⟶', RelCategory::A);
1000pub const LONG_LEFT_RIGHT_ARROW: Rel = Rel::new('⟷', RelCategory::A);
1001pub const LONG_LEFTWARDS_DOUBLE_ARROW: Rel = Rel::new('⟸', RelCategory::A);
1002pub const LONG_RIGHTWARDS_DOUBLE_ARROW: Rel = Rel::new('⟹', RelCategory::A);
1003pub const LONG_LEFT_RIGHT_DOUBLE_ARROW: Rel = Rel::new('⟺', RelCategory::A);
1004// pub const LONG_LEFTWARDS_ARROW_FROM_BAR: Op = Op('⟻');
1005pub const LONG_RIGHTWARDS_ARROW_FROM_BAR: Rel = Rel::new('⟼', RelCategory::A);
1006
1007//
1008// Unicode Block: Supplemental Arrows-B
1009//
1010pub const LEFTWARDS_ARROW_TAIL: Rel = Rel::new('⤙', RelCategory::A);
1011pub const RIGHTWARDS_ARROW_TAIL: Rel = Rel::new('⤚', RelCategory::A);
1012
1013//
1014// Unicode Block: Miscellaneous Mathematical Symbols-B
1015//
1016pub const LEFT_WHITE_CURLY_BRACKET: OrdLike = OrdLike::new('⦃', OrdCategory::F);
1017pub const RIGHT_WHITE_CURLY_BRACKET: OrdLike = OrdLike::new('⦄', OrdCategory::G);
1018// pub const LEFT_WHITE_PARENTHESIS: Fence = fence('⦅', Stretchy::Always);
1019// pub const RIGHT_WHITE_PARENTHESIS: Fence = fence('⦆', false, Stretchy::Always);
1020pub const Z_NOTATION_LEFT_IMAGE_BRACKET: OrdLike = OrdLike::new('⦇', OrdCategory::F);
1021pub const Z_NOTATION_RIGHT_IMAGE_BRACKET: OrdLike = OrdLike::new('⦈', OrdCategory::G);
1022pub const Z_NOTATION_LEFT_BINDING_BRACKET: OrdLike = OrdLike::new('⦉', OrdCategory::F);
1023pub const Z_NOTATION_RIGHT_BINDING_BRACKET: OrdLike = OrdLike::new('⦊', OrdCategory::G);
1024
1025pub const SQUARED_RISING_DIAGONAL_SLASH: Bin = Bin::new('⧄', BinCategory::B);
1026pub const SQUARED_FALLING_DIAGONAL_SLASH: Bin = Bin::new('⧅', BinCategory::B);
1027pub const SQUARED_SQUARE: Op = Op::new('⧈', OpCategory::C);
1028pub const BLACK_LOZENGE: char = '⧫';
1029
1030// pub const REVERSE_SOLIDUS_OPERATOR: Bin = Bin::new('⧵', BinCategory::BD);
1031
1032//
1033// Unicode Block: Supplemental Mathematical Operators
1034//
1035pub const N_ARY_CIRCLED_DOT_OPERATOR: Op = Op::new('⨀', OpCategory::J);
1036pub const N_ARY_CIRCLED_PLUS_OPERATOR: Op = Op::new('⨁', OpCategory::J);
1037pub const N_ARY_CIRCLED_TIMES_OPERATOR: Op = Op::new('⨂', OpCategory::J);
1038pub const N_ARY_UNION_OPERATOR_WITH_DOT: Op = Op::new('⨃', OpCategory::J);
1039pub const N_ARY_UNION_OPERATOR_WITH_PLUS: Op = Op::new('⨄', OpCategory::J);
1040pub const N_ARY_SQUARE_INTERSECTION_OPERATOR: Op = Op::new('⨅', OpCategory::J);
1041pub const N_ARY_SQUARE_UNION_OPERATOR: Op = Op::new('⨆', OpCategory::J);
1042pub const TWO_LOGICAL_AND_OPERATOR: Op = Op::new('⨇', OpCategory::J);
1043pub const TWO_LOGICAL_OR_OPERATOR: Op = Op::new('⨈', OpCategory::J);
1044pub const N_ARY_TIMES_OPERATOR: Op = Op::new('⨉', OpCategory::J);
1045// pub const MODULO_TWO_SUM: Op = Op('⨊');
1046pub const SUMMATION_WITH_INTEGRAL: Op = Op::new('⨋', OpCategory::H);
1047pub const QUADRUPLE_INTEGRAL_OPERATOR: Op = Op::new('⨌', OpCategory::H);
1048pub const FINITE_PARTL_INTEGRAL: Op = Op::new('⨍', OpCategory::H);
1049pub const INTEGRAL_WITH_DOUBLE_STROKE: Op = Op::new('⨎', OpCategory::H);
1050pub const INTEGRAL_AVERAGE_WITH_SLASH: Op = Op::new('⨏', OpCategory::H);
1051pub const CIRCULATION_FUNCTION: Op = Op::new('⨐', OpCategory::H);
1052pub const ANTICLOCKWISE_INTEGRATION: Op = Op::new('⨑', OpCategory::H);
1053// pub const LINE_INTEGRATION_WITH_RECTANGULAR_PATH_AROUND_POLE: Op = Op('⨒');
1054// pub const LINE_INTEGRATION_WITH_SEMICIRCULAR_PATH_AROUND_POLE: Op = Op('⨓');
1055// pub const LINE_INTEGRATION_NOT_INCLUDING_THE_POLE: Op = Op('⨔');
1056// pub const INTEGRAL_AROUND_A_POINT_OPERATOR: Op = Op('⨕');
1057// pub const QUATERNION_INTEGRAL_OPERATOR: Op = Op('⨖');
1058// pub const INTEGRAL_WITH_LEFTWARDS_ARROW_WITH_HOOK: Op = Op('⨗');
1059// pub const INTEGRAL_WITH_TIMES_SIGN: Op = Op('⨘');
1060// pub const INTEGRAL_WITH_INTERSECTION: Op = Op('⨙');
1061// pub const INTEGRAL_WITH_UNION: Op = Op('⨚');
1062// pub const INTEGRAL_WITH_OVERBAR: Op = Op('⨛');
1063// pub const INTEGRAL_WITH_UNDERBAR: Op = Op('⨜');
1064// pub const JOIN: Op = Op('⨝');
1065// pub const LARGE_LEFT_TRIANGLE_OPERATOR: Op = Op('⨞');
1066pub const Z_NOTATION_SCHEMA_COMPOSITION: Rel = Rel::new('⨟', RelCategory::Default);
1067// pub const Z_NOTATION_SCHEMA_PIPING: Op = Op('⨠');
1068// pub const Z_NOTATION_SCHEMA_PROJECTION: Op = Op('⨡');
1069// pub const PLUS_SIGN_WITH_SMALL_CIRCLE_ABOVE: Bin = Bin::new('⨢', BinCategory::BD);
1070// pub const PLUS_SIGN_WITH_CIRCUMFLEX_ACCENT_ABOVE: Bin = Bin::new('⨣', BinCategory::BD);
1071// pub const PLUS_SIGN_WITH_TILDE_ABOVE: Bin = Bin::new('⨤', BinCategory::BD);
1072// pub const PLUS_SIGN_WITH_DOT_BELOW: Bin = Bin::new('⨥', BinCategory::BD);
1073// pub const PLUS_SIGN_WITH_TILDE_BELOW: Bin = Bin::new('⨦', BinCategory::BD);
1074// pub const PLUS_SIGN_WITH_SUBSCRIPT_TWO: Bin = Bin::new('⨧', BinCategory::BD);
1075// pub const PLUS_SIGN_WITH_BLACK_TRIANGLE: Bin = Bin::new('⨨', BinCategory::BD);
1076// pub const MINUS_SIGN_WITH_COMMA_ABOVE: Bin = Bin::new('⨩', BinCategory::BD);
1077// pub const MINUS_SIGN_WITH_DOT_BELOW: Bin = Bin::new('⨪', BinCategory::BD);
1078// pub const MINUS_SIGN_WITH_FALLING_DOTS: Bin = Bin::new('⨫', BinCategory::BD);
1079// pub const MINUS_SIGN_WITH_RISING_DOTS: Bin = Bin::new('⨬', BinCategory::BD);
1080// pub const PLUS_SIGN_IN_LEFT_HALF_CIRCLE: Bin = Bin::new('⨭', BinCategory::BD);
1081// pub const PLUS_SIGN_IN_RIGHT_HALF_CIRCLE: Bin = Bin::new('⨮', BinCategory::BD);
1082// pub const VECTOR_OR_CROSS_PRODUCT: Bin = Bin::new('⨯', BinCategory::BD);
1083// pub const MULTIPLICATION_SIGN_WITH_DOT_ABOVE: Bin = Bin::new('⨰', BinCategory::BD);
1084// pub const MULTIPLICATION_SIGN_WITH_UNDERBAR: Bin = Bin::new('⨱', BinCategory::BD);
1085// pub const SEMIDIRECT_PRODUCT_WITH_BOTTOM_CLOSED: Bin = Bin::new('⨲', BinCategory::BD);
1086// pub const SMASH_PRODUCT: Bin = Bin::new('⨳', BinCategory::BD);
1087// pub const MULTIPLICATION_SIGN_IN_LEFT_HALF_CIRCLE: Bin = Bin::new('⨴', BinCategory::BD);
1088// pub const MULTIPLICATION_SIGN_IN_RIGHT_HALF_CIRCLE: Bin = Bin::new('⨵', BinCategory::BD);
1089// pub const CIRCLED_MULTIPLICATION_SIGN_WITH_CIRCUMFLEX_ACCENT: Op = Op('⨶');
1090// pub const MULTIPLICATION_SIGN_IN_DOUBLE_CIRCLE: Op = Op('⨷');
1091// pub const CIRCLED_DIVISION_SIGN: Op = Op('⨸');
1092// pub const PLUS_SIGN_IN_TRIANGLE: Op = Op('⨹');
1093// pub const MINUS_SIGN_IN_TRIANGLE: Op = Op('⨺');
1094// pub const MULTIPLICATION_SIGN_IN_TRIANGLE: Op = Op('⨻');
1095// pub const INTERIOR_PRODUCT: Op = Op('⨼');
1096// pub const RIGHTHAND_INTERIOR_PRODUCT: Op = Op('⨽');
1097// pub const Z_NOTATION_RELATIONAL_COMPOSITION: Op = Op('⨾');
1098pub const AMALGAMATION_OR_COPRODUCT: Rel = Rel::new('⨿', RelCategory::Default);
1099// pub const INTERSECTION_WITH_DOT: Op = Op('⩀');
1100// pub const UNION_WITH_MINUS_SIGN: Op = Op('⩁');
1101// pub const UNION_WITH_OVERBAR: Op = Op('⩂');
1102// pub const INTERSECTION_WITH_OVERBAR: Op = Op('⩃');
1103// pub const INTERSECTION_WITH_LOGICAL_AND: Op = Op('⩄');
1104// pub const UNION_WITH_LOGICAL_OR: Op = Op('⩅');
1105// pub const UNION_ABOVE_INTERSECTION: Op = Op('⩆');
1106// pub const INTERSECTION_ABOVE_UNION: Op = Op('⩇');
1107// pub const UNION_ABOVE_BAR_ABOVE_INTERSECTION: Op = Op('⩈');
1108// pub const INTERSECTION_ABOVE_BAR_ABOVE_UNION: Op = Op('⩉');
1109// pub const UNION_BESIDE_AND_JOINED_WITH_UNION: Op = Op('⩊');
1110// pub const INTERSECTION_BESIDE_AND_JOINED_WITH_INTERSECTION: Op = Op('⩋');
1111// pub const CLOSED_UNION_WITH_SERIFS: Op = Op('⩌');
1112// pub const CLOSED_INTERSECTION_WITH_SERIFS: Op = Op('⩍');
1113// pub const DOUBLE_SQUARE_INTERSECTION: Op = Op('⩎');
1114// pub const DOUBLE_SQUARE_UNION: Op = Op('⩏');
1115// pub const CLOSED_UNION_WITH_SERIFS_AND_SMASH_PRODUCT: Op = Op('⩐');
1116// pub const LOGICAL_AND_WITH_DOT_ABOVE: Op = Op('⩑');
1117// pub const LOGICAL_OR_WITH_DOT_ABOVE: Op = Op('⩒');
1118// pub const DOUBLE_LOGICAL_AND: Op = Op('⩓');
1119// pub const DOUBLE_LOGICAL_OR: Op = Op('⩔');
1120// pub const TWO_INTERSECTING_LOGICAL_AND: Op = Op('⩕');
1121// pub const TWO_INTERSECTING_LOGICAL_OR: Op = Op('⩖');
1122// pub const SLOPING_LARGE_OR: Op = Op('⩗');
1123// pub const SLOPING_LARGE_AND: Op = Op('⩘');
1124// pub const LOGICAL_OR_OVERLAPPING_LOGICAL_AND: Op = Op('⩙');
1125// pub const LOGICAL_AND_WITH_MIDDLE_STEM: Op = Op('⩚');
1126// pub const LOGICAL_OR_WITH_MIDDLE_STEM: Op = Op('⩛');
1127// pub const LOGICAL_AND_WITH_HORIZONTAL_DASH: Op = Op('⩜');
1128// pub const LOGICAL_OR_WITH_HORIZONTAL_DASH: Op = Op('⩝');
1129pub const LOGICAL_AND_WITH_DOUBLE_OVERBAR: Rel = Rel::new('⩞', RelCategory::Default);
1130// pub const LOGICAL_AND_WITH_UNDERBAR: Op = Op('⩟');
1131// pub const LOGICAL_AND_WITH_DOUBLE_UNDERBAR: Op = Op('⩠');
1132// pub const SMALL_VEE_WITH_UNDERBAR: Op = Op('⩡');
1133// pub const LOGICAL_OR_WITH_DOUBLE_OVERBAR: Op = Op('⩢');
1134// pub const LOGICAL_OR_WITH_DOUBLE_UNDERBAR: Op = Op('⩣');
1135// pub const Z_NOTATION_DOMAIN_ANTIRESTRICTION: Op = Op('⩤');
1136// pub const Z_NOTATION_RANGE_ANTIRESTRICTION: Op = Op('⩥');
1137pub const EQUALS_SIGN_WITH_DOT_BELOW: Rel = Rel::new('⩦', RelCategory::Default);
1138// pub const IDENTICAL_WITH_DOT_ABOVE: Op = Op('⩧');
1139// pub const TRIPLE_HORIZONTAL_BAR_WITH_DOUBLE_VERTICAL_STROKE: Op = Op('⩨');
1140// pub const TRIPLE_HORIZONTAL_BAR_WITH_TRIPLE_VERTICAL_STROKE: Op = Op('⩩');
1141// pub const TILDE_OPERATOR_WITH_DOT_ABOVE: Op = Op('⩪');
1142// pub const TILDE_OPERATOR_WITH_RISING_DOTS: Op = Op('⩫');
1143// pub const SIMILAR_MINUS_SIMILAR: Op = Op('⩬');
1144// pub const CONGRUENT_WITH_DOT_ABOVE: Op = Op('⩭');
1145// pub const EQUALS_WITH_ASTERISK: Op = Op('⩮');
1146// pub const ALMOST_EQUAL_TO_WITH_CIRCUMFLEX_ACCENT: Op = Op('⩯');
1147// pub const APPROXIMATELY_EQUAL_OR_EQUAL_TO: Op = Op('⩰');
1148// pub const EQUALS_SIGN_ABOVE_PLUS_SIGN: Op = Op('⩱');
1149// pub const PLUS_SIGN_ABOVE_EQUALS_SIGN: Op = Op('⩲');
1150// pub const EQUALS_SIGN_ABOVE_TILDE_OPERATOR: Op = Op('⩳');
1151// pub const DOUBLE_COLON_EQUAL: Op = Op('⩴');
1152// pub const TWO_CONSECUTIVE_EQUALS_SIGNS: Op = Op('⩵');
1153// pub const THREE_CONSECUTIVE_EQUALS_SIGNS: Op = Op('⩶');
1154// pub const EQUALS_SIGN_WITH_TWO_DOTS_ABOVE_AND_TWO_DOTS_BELOW: Op = Op('⩷');
1155// pub const EQUIVALENT_WITH_FOUR_DOTS_ABOVE: Op = Op('⩸');
1156// pub const LESS_THAN_WITH_CIRCLE_INSIDE: Op = Op('⩹');
1157// pub const GREATER_THAN_WITH_CIRCLE_INSIDE: Op = Op('⩺');
1158// pub const LESS_THAN_WITH_QUESTION_MARK_ABOVE: Op = Op('⩻');
1159// pub const GREATER_THAN_WITH_QUESTION_MARK_ABOVE: Op = Op('⩼');
1160pub const LESS_THAN_OR_SLANTED_EQUAL_TO: Rel = Rel::new('⩽', RelCategory::Default);
1161pub const GREATER_THAN_OR_SLANTED_EQUAL_TO: Rel = Rel::new('⩾', RelCategory::Default);
1162// pub const LESS_THAN_OR_SLANTED_EQUAL_TO_WITH_DOT_INSIDE: Op = Op('⩿');
1163// pub const GREATER_THAN_OR_SLANTED_EQUAL_TO_WITH_DOT_INSIDE: Op = Op('⪀');
1164// pub const LESS_THAN_OR_SLANTED_EQUAL_TO_WITH_DOT_ABOVE: Op = Op('⪁');
1165// pub const GREATER_THAN_OR_SLANTED_EQUAL_TO_WITH_DOT_ABOVE: Op = Op('⪂');
1166// pub const LESS_THAN_OR_SLANTED_EQUAL_TO_WITH_DOT_ABOVE_RIGHT: Op = Op('⪃');
1167// pub const GREATER_THAN_OR_SLANTED_EQUAL_TO_WITH_DOT_ABOVE_LEFT: Op = Op('⪄');
1168pub const LESS_THAN_OR_APPROXIMATE: Rel = Rel::new('⪅', RelCategory::Default);
1169pub const GREATER_THAN_OR_APPROXIMATE: Rel = Rel::new('⪆', RelCategory::Default);
1170pub const LESS_THAN_AND_SINGLE_LINE_NOT_EQUAL_TO: Rel = Rel::new('⪇', RelCategory::Default);
1171pub const GREATER_THAN_AND_SINGLE_LINE_NOT_EQUAL_TO: Rel = Rel::new('⪈', RelCategory::Default);
1172pub const LESS_THAN_AND_NOT_APPROXIMATE: Rel = Rel::new('⪉', RelCategory::Default);
1173pub const GREATER_THAN_AND_NOT_APPROXIMATE: Rel = Rel::new('⪊', RelCategory::Default);
1174pub const LESS_THAN_ABOVE_DOUBLE_LINE_EQUAL_ABOVE_GREATER_THAN: Rel =
1175    Rel::new('⪋', RelCategory::Default);
1176pub const GREATER_THAN_ABOVE_DOUBLE_LINE_EQUAL_ABOVE_LESS_THAN: Rel =
1177    Rel::new('⪌', RelCategory::Default);
1178// pub const LESS_THAN_ABOVE_SIMILAR_OR_EQUAL: Rel = Rel::new('⪍', RelCategory::Default);
1179// pub const GREATER_THAN_ABOVE_SIMILAR_OR_EQUAL: Rel = Rel::new('⪎', RelCategory::Default);
1180// pub const LESS_THAN_ABOVE_SIMILAR_ABOVE_GREATER_THAN: Rel = Rel::new('⪏', RelCategory::Default);
1181// pub const GREATER_THAN_ABOVE_SIMILAR_ABOVE_LESS_THAN: Rel = Rel::new('⪐', RelCategory::Default);
1182// pub const LESS_THAN_ABOVE_GREATER_THAN_ABOVE_DOUBLE_LINE_EQUAL: Rel = Rel::new('⪑', RelCategory::Default);
1183// pub const GREATER_THAN_ABOVE_LESS_THAN_ABOVE_DOUBLE_LINE_EQUAL: Rel = Rel::new('⪒', RelCategory::Default);
1184// pub const LESS_THAN_ABOVE_SLANTED_EQUAL_ABOVE_GREATER_THAN_ABOVE_SLANTED_EQUAL: Rel = Rel::new('⪓', RelCategory::Default);
1185// pub const GREATER_THAN_ABOVE_SLANTED_EQUAL_ABOVE_LESS_THAN_ABOVE_SLANTED_EQUAL: Rel = Rel::new('⪔', RelCategory::Default);
1186pub const SLANTED_EQUAL_TO_OR_LESS_THAN: Rel = Rel::new('⪕', RelCategory::Default);
1187pub const SLANTED_EQUAL_TO_OR_GREATER_THAN: Rel = Rel::new('⪖', RelCategory::Default);
1188// pub const SLANTED_EQUAL_TO_OR_LESS_THAN_WITH_DOT_INSIDE: Rel = Rel::new('⪗', RelCategory::Default);
1189// pub const SLANTED_EQUAL_TO_OR_GREATER_THAN_WITH_DOT_INSIDE: Rel = Rel::new('⪘', RelCategory::Default);
1190// pub const DOUBLE_LINE_EQUAL_TO_OR_LESS_THAN: Rel = Rel::new('⪙', RelCategory::Default);
1191// pub const DOUBLE_LINE_EQUAL_TO_OR_GREATER_THAN: Rel = Rel::new('⪚', RelCategory::Default);
1192// pub const DOUBLE_LINE_SLANTED_EQUAL_TO_OR_LESS_THAN: Rel = Rel::new('⪛', RelCategory::Default);
1193// pub const DOUBLE_LINE_SLANTED_EQUAL_TO_OR_GREATER_THAN: Rel = Rel::new('⪜', RelCategory::Default);
1194// pub const SIMILAR_OR_LESS_THAN: Rel = Rel::new('⪝', RelCategory::Default);
1195// pub const SIMILAR_OR_GREATER_THAN: Rel = Rel::new('⪞', RelCategory::Default);
1196// pub const SIMILAR_ABOVE_LESS_THAN_ABOVE_EQUALS_SIGN: Rel = Rel::new('⪟', RelCategory::Default);
1197// pub const SIMILAR_ABOVE_GREATER_THAN_ABOVE_EQUALS_SIGN: Rel = Rel::new('⪠', RelCategory::Default);
1198// pub const DOUBLE_NESTED_LESS_THAN: Rel = Rel::new('⪡', RelCategory::Default);
1199// pub const DOUBLE_NESTED_GREATER_THAN: Rel = Rel::new('⪢', RelCategory::Default);
1200// pub const DOUBLE_NESTED_LESS_THAN_WITH_UNDERBAR: Rel = Rel::new('⪣', RelCategory::Default);
1201// pub const GREATER_THAN_OVERLAPPING_LESS_THAN: Rel = Rel::new('⪤', RelCategory::Default);
1202// pub const GREATER_THAN_BESIDE_LESS_THAN: Rel = Rel::new('⪥', RelCategory::Default);
1203// pub const LESS_THAN_CLOSED_BY_CURVE: Rel = Rel::new('⪦', RelCategory::Default);
1204// pub const GREATER_THAN_CLOSED_BY_CURVE: Rel = Rel::new('⪧', RelCategory::Default);
1205// pub const LESS_THAN_CLOSED_BY_CURVE_ABOVE_SLANTED_EQUAL: Rel = Rel::new('⪨', RelCategory::Default);
1206// pub const GREATER_THAN_CLOSED_BY_CURVE_ABOVE_SLANTED_EQUAL: Rel = Rel::new('⪩', RelCategory::Default);
1207// pub const SMALLER_THAN: Rel = Rel::new('⪪', RelCategory::Default);
1208// pub const LARGER_THAN: Rel = Rel::new('⪫', RelCategory::Default);
1209// pub const SMALLER_THAN_OR_EQUAL_TO: Rel = Rel::new('⪬', RelCategory::Default);
1210// pub const LARGER_THAN_OR_EQUAL_TO: Rel = Rel::new('⪭', RelCategory::Default);
1211// pub const EQUALS_SIGN_WITH_BUMPY_ABOVE: Rel = Rel::new('⪮', RelCategory::Default);
1212pub const PRECEDES_ABOVE_SINGLE_LINE_EQUALS_SIGN: Rel = Rel::new('⪯', RelCategory::Default);
1213pub const SUCCEEDS_ABOVE_SINGLE_LINE_EQUALS_SIGN: Rel = Rel::new('⪰', RelCategory::Default);
1214// pub const PRECEDES_ABOVE_SINGLE_LINE_NOT_EQUAL_TO: Rel = Rel::new('⪱', RelCategory::Default);
1215// pub const SUCCEEDS_ABOVE_SINGLE_LINE_NOT_EQUAL_TO: Rel = Rel::new('⪲', RelCategory::Default);
1216// pub const PRECEDES_ABOVE_EQUALS_SIGN: Rel = Rel::new('⪳', RelCategory::Default);
1217// pub const SUCCEEDS_ABOVE_EQUALS_SIGN: Rel = Rel::new('⪴', RelCategory::Default);
1218pub const PRECEDES_ABOVE_NOT_EQUAL_TO: Rel = Rel::new('⪵', RelCategory::Default);
1219pub const SUCCEEDS_ABOVE_NOT_EQUAL_TO: Rel = Rel::new('⪶', RelCategory::Default);
1220pub const PRECEDES_ABOVE_ALMOST_EQUAL_TO: Rel = Rel::new('⪷', RelCategory::Default);
1221pub const SUCCEEDS_ABOVE_ALMOST_EQUAL_TO: Rel = Rel::new('⪸', RelCategory::Default);
1222pub const PRECEDES_ABOVE_NOT_ALMOST_EQUAL_TO: Rel = Rel::new('⪹', RelCategory::Default);
1223pub const SUCCEEDS_ABOVE_NOT_ALMOST_EQUAL_TO: Rel = Rel::new('⪺', RelCategory::Default);
1224// pub const DOUBLE_PRECEDES: Rel = Rel::new('⪻', RelCategory::Default);
1225// pub const DOUBLE_SUCCEEDS: Rel = Rel::new('⪼', RelCategory::Default);
1226// pub const SUBSET_WITH_DOT: Rel = Rel::new('⪽', RelCategory::Default);
1227// pub const SUPERSET_WITH_DOT: Rel = Rel::new('⪾', RelCategory::Default);
1228// pub const SUBSET_WITH_PLUS_SIGN_BELOW: Rel = Rel::new('⪿', RelCategory::Default);
1229// pub const SUPERSET_WITH_PLUS_SIGN_BELOW: Rel = Rel::new('⫀', RelCategory::Default);
1230// pub const SUBSET_WITH_MULTIPLICATION_SIGN_BELOW: Rel = Rel::new('⫁', RelCategory::Default);
1231// pub const SUPERSET_WITH_MULTIPLICATION_SIGN_BELOW: Rel = Rel::new('⫂', RelCategory::Default);
1232// pub const SUBSET_OF_OR_EQUAL_TO_WITH_DOT_ABOVE: Rel = Rel::new('⫃', RelCategory::Default);
1233// pub const SUPERSET_OF_OR_EQUAL_TO_WITH_DOT_ABOVE: Rel = Rel::new('⫄', RelCategory::Default);
1234// pub const SUBSET_OF_ABOVE_EQUALS_SIGN: Rel = Rel::new('⫅', RelCategory::Default);
1235// pub const SUPERSET_OF_ABOVE_EQUALS_SIGN: Rel = Rel::new('⫆', RelCategory::Default);
1236// pub const SUBSET_OF_ABOVE_TILDE_OPERATOR: Rel = Rel::new('⫇', RelCategory::Default);
1237// pub const SUPERSET_OF_ABOVE_TILDE_OPERATOR: Rel = Rel::new('⫈', RelCategory::Default);
1238// pub const SUBSET_OF_ABOVE_ALMOST_EQUAL_TO: Rel = Rel::new('⫉', RelCategory::Default);
1239// pub const SUPERSET_OF_ABOVE_ALMOST_EQUAL_TO: Rel = Rel::new('⫊', RelCategory::Default);
1240pub const SUBSET_OF_ABOVE_NOT_EQUAL_TO: Rel = Rel::new('⫋', RelCategory::Default);
1241pub const SUPERSET_OF_ABOVE_NOT_EQUAL_TO: Rel = Rel::new('⫌', RelCategory::Default);
1242
1243//
1244// Unicode Block: Small Form Variants
1245//
1246// pub const SMALL_REVERSE_SOLIDUS: Rel = Rel::new('﹨', RelCategory::Default);
math_core_renderer_internal/symbol.rs

math_core_renderer_internal/
symbol.rs
