math-core 0.5.3__tar.gz → 0.6.0__tar.gz

{math_core-0.5.3 → math_core-0.6.0}/Cargo.lock

@@ -13,9 +13,9 @@ dependencies = [
 
 [[package]]
 name = "anstream"
-version = "0.6.15"
+version = "1.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "64e15c1ab1f89faffbf04a634d5e1962e9074f2741eef6d97f3c4e322426d526"
+checksum = "824a212faf96e9acacdbd09febd34438f8f711fb84e09a8916013cd7815ca28d"
 dependencies = [
  "anstyle",
  "anstyle-parse",
@@ -28,15 +28,15 @@ dependencies = [
 
 [[package]]
 name = "anstyle"
-version = "1.0.8"
+version = "1.0.14"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1bec1de6f59aedf83baf9ff929c98f2ad654b97c9510f4e70cf6f661d49fd5b1"
+checksum = "940b3a0ca603d1eade50a4846a2afffd5ef57a9feac2c0e2ec2e14f9ead76000"
 
 [[package]]
 name = "anstyle-parse"
-version = "0.2.5"
+version = "1.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "eb47de1e80c2b463c735db5b217a0ddc39d612e7ac9e2e96a5aed1f57616c1cb"
+checksum = "52ce7f38b242319f7cabaa6813055467063ecdc9d355bbb4ce0c68908cd8130e"
 dependencies = [
  "utf8parse",
 ]
@@ -52,12 +52,13 @@ dependencies = [
 
 [[package]]
 name = "anstyle-wincon"
-version = "3.0.4"
+version = "3.0.11"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5bf74e1b6e971609db8ca7a9ce79fd5768ab6ae46441c572e46cf596f59e57f8"
+checksum = "291e6a250ff86cd4a820112fb8898808a366d8f9f58ce16d1f538353ad55747d"
 dependencies = [
  "anstyle",
- "windows-sys 0.52.0",
+ "once_cell_polyfill",
+ "windows-sys 0.61.2",
 ]
 
 [[package]]
@@ -126,9 +127,9 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
 
 [[package]]
 name = "clap"
-version = "4.5.60"
+version = "4.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2797f34da339ce31042b27d23607e051786132987f595b02ba4f6a6dffb7030a"
+checksum = "b193af5b67834b676abd72466a96c1024e6a6ad978a1f484bd90b85c94041351"
 dependencies = [
  "clap_builder",
  "clap_derive",
@@ -136,9 +137,9 @@ dependencies = [
 
 [[package]]
 name = "clap_builder"
-version = "4.5.60"
+version = "4.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "24a241312cea5059b13574bb9b3861cabf758b879c15190b37b6d6fd63ab6876"
+checksum = "714a53001bf66416adb0e2ef5ac857140e7dc3a0c48fb28b2f10762fc4b5069f"
 dependencies = [
  "anstream",
  "anstyle",
@@ -148,9 +149,9 @@ dependencies = [
 
 [[package]]
 name = "clap_derive"
-version = "4.5.55"
+version = "4.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a92793da1a46a5f2a02a6f4c46c6496b28c43638adea8306fcb0caa1634f24e5"
+checksum = "1110bd8a634a1ab8cb04345d8d878267d57c3cf1b38d91b71af6686408bbca6a"
 dependencies = [
  "heck",
  "proc-macro2",
@@ -362,7 +363,7 @@ dependencies = [
 
 [[package]]
 name = "math-core"
-version = "0.5.3"
+version = "0.6.0"
 dependencies = [
  "ariadne",
  "insta",
@@ -382,7 +383,7 @@ dependencies = [
 
 [[package]]
 name = "math-core-cli"
-version = "0.5.3"
+version = "0.6.0"
 dependencies = [
  "ariadne",
  "clap",
@@ -395,7 +396,7 @@ dependencies = [
 
 [[package]]
 name = "math-core-python"
-version = "0.5.3"
+version = "0.6.0"
 dependencies = [
  "ariadne",
  "math-core",
@@ -405,7 +406,7 @@ dependencies = [
 
 [[package]]
 name = "math-core-renderer-internal"
-version = "0.5.3"
+version = "0.6.0"
 dependencies = [
  "bitflags",
  "dtoa",
@@ -418,7 +419,7 @@ dependencies = [
 
 [[package]]
 name = "math-core-wasm"
-version = "0.5.3"
+version = "0.6.0"
 dependencies = [
  "ariadne",
  "js-sys",
@@ -435,6 +436,12 @@ version = "2.8.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f8ca58f447f06ed17d5fc4043ce1b10dd205e060fb3ce5b979b8ed8e59ff3f79"
 
+[[package]]
+name = "memo-map"
+version = "0.3.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "38d1115007560874e373613744c6fba374c17688327a71c1476d1a5954cc857b"
+
 [[package]]
 name = "minicov"
 version = "0.3.8"
@@ -447,10 +454,11 @@ dependencies = [
 
 [[package]]
 name = "minijinja"
-version = "2.17.1"
+version = "2.18.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5ea5ea1e90055f200af6b8e52a4a34e05e77e7fee953a9fb40c631efdc43cab1"
+checksum = "328251e58ad8e415be6198888fc207502727dc77945806421ab34f35bf012e7d"
 dependencies = [
+ "memo-map",
  "serde",
 ]
 
@@ -479,6 +487,12 @@ version = "1.21.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "42f5e15c9953c5e4ccceeb2e7382a716482c34515315f7b03532b8b4e8393d2d"
 
+[[package]]
+name = "once_cell_polyfill"
+version = "1.70.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "384b8ab6d37215f3c5301a95a4accb5d64aa607f1fcb26a11b5303878451b4fe"
+
 [[package]]
 name = "oorandom"
 version = "11.1.5"
@@ -548,9 +562,9 @@ checksum = "f84267b20a16ea918e43c6a88433c2d54fa145c92a811b5b047ccbe153674483"
 
 [[package]]
 name = "proc-macro2"
-version = "1.0.101"
+version = "1.0.106"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "89ae43fd86e4158d6db51ad8e2b80f313af9cc74f5c0e03ccb87de09998732de"
+checksum = "8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934"
 dependencies = [
  "unicode-ident",
 ]
@@ -615,9 +629,9 @@ dependencies = [
 
 [[package]]
 name = "quote"
-version = "1.0.41"
+version = "1.0.45"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ce25767e7b499d1b604768e7cde645d14cc8584231ea6b295e9c9eb22c02e1d1"
+checksum = "41f2619966050689382d2b44f664f4bc593e129785a36d6ee376ddf37259b924"
 dependencies = [
  "proc-macro2",
 ]
@@ -843,9 +857,9 @@ dependencies = [
 
 [[package]]
 name = "syn"
-version = "2.0.106"
+version = "2.0.117"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ede7c438028d4436d71104916910f5bb611972c5cfd7f89b8300a8186e6fada6"
+checksum = "e665b8803e7b1d2a727f4023456bbbbe74da67099c585258af0ad9c5013b9b99"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -873,9 +887,9 @@ dependencies = [
 
 [[package]]
 name = "toml"
-version = "1.0.6+spec-1.1.0"
+version = "1.0.7+spec-1.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "399b1124a3c9e16766831c6bba21e50192572cdd98706ea114f9502509686ffc"
+checksum = "dd28d57d8a6f6e458bc0b8784f8fdcc4b99a437936056fa122cb234f18656a96"
 dependencies = [
  "indexmap",
  "serde_core",
@@ -888,27 +902,27 @@ dependencies = [
 
 [[package]]
 name = "toml_datetime"
-version = "1.0.0+spec-1.1.0"
+version = "1.0.1+spec-1.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "32c2555c699578a4f59f0cc68e5116c8d7cabbd45e1409b989d4be085b53f13e"
+checksum = "9b320e741db58cac564e26c607d3cc1fdc4a88fd36c879568c07856ed83ff3e9"
 dependencies = [
  "serde_core",
 ]
 
 [[package]]
 name = "toml_parser"
-version = "1.0.9+spec-1.1.0"
+version = "1.0.10+spec-1.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "702d4415e08923e7e1ef96cd5727c0dfed80b4d2fa25db9647fe5eb6f7c5a4c4"
+checksum = "7df25b4befd31c4816df190124375d5a20c6b6921e2cad937316de3fccd63420"
 dependencies = [
  "winnow",
 ]
 
 [[package]]
 name = "toml_writer"
-version = "1.0.6+spec-1.1.0"
+version = "1.0.7+spec-1.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ab16f14aed21ee8bfd8ec22513f7287cd4a91aa92e44edfe2c17ddd004e92607"
+checksum = "f17aaa1c6e3dc22b1da4b6bba97d066e354c7945cac2f7852d4e4e7ca7a6b56d"
 
 [[package]]
 name = "typeid"
@@ -1160,9 +1174,9 @@ checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
 
 [[package]]
 name = "winnow"
-version = "0.7.13"
+version = "1.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "21a0236b59786fed61e2a80582dd500fe61f18b5dca67a4a067d0bc9039339cf"
+checksum = "a90e88e4667264a994d34e6d1ab2d26d398dcdca8b7f52bec8668957517fc7d8"
 
 [[package]]
 name = "wit-bindgen"

{math_core-0.5.3 → math_core-0.6.0}/Cargo.toml

@@ -7,7 +7,7 @@ resolver = "2"
 edition = "2024"
 rust-version = "1.91"
 license = "MIT"
-version = "0.5.3"
+version = "0.6.0"
 repository = "https://github.com/tmke8/math-core"
 
 [workspace.dependencies]

math_core-0.6.0/LICENSE

@@ -0,0 +1,9 @@
+MIT License
+
+Copyright 2020 Hiromu Sugiura
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

{math_core-0.5.3 → math_core-0.6.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: math-core
-Version: 0.5.3
+Version: 0.6.0
 Classifier: Programming Language :: Rust
 Classifier: Programming Language :: Python :: Implementation :: CPython
 Classifier: License :: OSI Approved :: MIT License

{math_core-0.5.3 → math_core-0.6.0}/crates/math-core/Cargo.toml

@@ -19,7 +19,7 @@ categories = ["science"]
 exclude = ["/src/snapshots", "/tests/snapshots"]
 
 [dependencies]
-mathml-renderer = { path = "../mathml-renderer", package = "math-core-renderer-internal", version = "0.5.3" }
+mathml-renderer = { path = "../mathml-renderer", package = "math-core-renderer-internal", version = "0.6.0" }
 serde = { workspace = true, optional = true }
 serde-tuple-vec-map = { version = "1.0.1", optional = true }
 phf = { version = "0.13.1", features = ["macros"] }
@@ -32,10 +32,10 @@ ariadne = { workspace = true, optional = true }
 
 [dev-dependencies]
 math-core = { path = ".", features = ["serde", "ariadne"] }
-mathml-renderer = { path = "../mathml-renderer", package = "math-core-renderer-internal", version = "0.5.3", features = ["serde"] }
+mathml-renderer = { path = "../mathml-renderer", package = "math-core-renderer-internal", version = "0.6.0", features = ["serde"] }
 insta = { version = "1.46.3", features = ["default", "ron"] }
 regex = "1.12.3"
-minijinja = "2.17.1"
+minijinja = "2.18.0"
 
 [features]
 serde = ["dep:serde", "dep:serde-tuple-vec-map"]

{math_core-0.5.3 → math_core-0.6.0}/crates/math-core/README.md

@@ -2,7 +2,7 @@
 
 # Convert LaTeX to MathML Core
 
-[Try it out on the playground!](https://tmke8.github.io/math-core/)
+[Try it out on the playground](https://tmke8.github.io/math-core/) or [take a look at the comparison table with KaTeX](https://tmke8.github.io/math-core/comparison.html).
 
 `math-core` allows you to convert LaTeX math to [MathML Core](https://www.w3.org/TR/mathml-core/), the MathML specification that is being implemented by web browsers. For example, this LaTeX code:
 
@@ -51,13 +51,13 @@ There are 4 ways to use the code in this project:
 1. As a CLI binary
 2. As a Python package
 3. As a Rust library
-4. As a WebAssembly module
+4. As a Node.js package
 
 ### CLI
 You can download precompiled binaries from the GitHub Release page. Alternatively, you can build the CLI binary from source:
 
 ```sh
-cargo build --bin mathcore --release
+cargo install math-core-cli
 ```
 
 You can see an explanation of the CLI interface with
@@ -86,12 +86,16 @@ cargo add math-core
 
 The documentation for the library can be found on docs.rs: https://docs.rs/math-core/latest/math_core/
 
-### WebAssembly module
-The WebAssembly frontend is currently only used for the [playground](https://tmke8.github.io/math-core/). In the future, a package for this may be published to npm.
+### Node.js package
+Install the package with
+
+```
+npm i math-core
+```
 
 ## Required CSS
 ### CSS for math font
-The MathML code generated by this project is intended to be very portable and work *almost* without a CSS style sheet. However, in order to really get LaTeX-like rendering of the MathML, one unfortunately needs custom math fonts.
+The MathML markup generated by this project is intended to be very portable and work *almost* without a CSS style sheet. However, in order to really get LaTeX-like rendering, one unfortunately needs custom math fonts.
 
 To specify the font, include something like this in your CSS:
 
@@ -106,15 +110,17 @@ math {
 }
 ```
 
-Some day, perhaps, any font with a MATH table will be supported, but right now fonts require some tweaks.
+Some day, perhaps, any font with a MATH table will be supported, but right now fonts require some tweaks due to browser shortcomings.
 
-The main problem is that Chromium does not look at `ssty` variants when deciding on a glyph for super- and subscript (resulting in incorrectly rendered primes) and the fact that Chromium does not horizontally center accents. These problems have been manually fixed for the three fonts included in this project:
+One problem is that Chromium does not look at `ssty` variants when deciding on a glyph for super- and subscript (resulting in incorrectly rendered primes). Another problem is that Safari displays accents with incorrect vertical space. Additionally, both Chromium and Safari do not horizontally center certain accents. These problems have been manually fixed for the three fonts selectable on the playground:
 
 - *New Computer Modern Math Book* ([original repo](https://git.gnu.org.ua/newcm.git/about/)): a maintained continuation of LaTeX’s classic *Computer Modern Math*
 - *Libertinus Math* ([original repo](https://github.com/alerque/libertinus)): a maintained continuation of *Linux Libertine*
 - *Noto Sans Math* ([original repo](https://github.com/notofonts/math)): a sans-serif math font
 
-The fixes applied to the font files do not change the shape of any glyphs; they merely rearrange some glyphs or center them. The font files can be found in the `playground/` directory in this repository. To use them in your website, download them here and load them on the page from your server. No guarantees will be made that the fonts on the playground will remain available on the current URLs.
+The fixes applied to the font files do not change the shape of any glyphs; they merely rearrange some glyphs or position them differently within glyph space.
+
+The patching of these fonts is tracked in a separate repository: [math-core-fonts](https://github.com/tmke8/math-core-fonts). To use them on your website, download them from there.
 
 #### Font subsetting
 The math fonts all have quite large font files. Especially *New Computer Modern Math Book* is enormous with an almost 700kB `.woff2` file. Therefore, if possible, you should use *font subsetting* where the font file only includes those glyphs that are actually used on your website. Existing tools should work fine for this.
@@ -184,6 +190,20 @@ Chromium does not support the `<menclose>` element, which is used for `\sout{...
 }
 ```
 
+### Accent gap
+We also recommend (though it is not necessary) to add the following CSS:
+
+```css
+/* Styles for Chromium and Safari */
+@supports (not (-moz-appearance: none)) {
+    mover[accent="true" i] > mo:nth-child(2) {
+        margin-bottom: 0.15ex;
+    }
+}
+```
+
+This slightly increases the gap between letter and accent on Chromium and Safari. One risk with such a CSS rule is that if Chromium or Safari ever increases that gap to match Firefox, then this CSS will produce an overlarge gap. However, it's not clear that this will ever happen and we think the present-day benefits of this CSS rule outweigh the future risks.
+
 #### Dealing with other rendering problems
 The above CSS unfortunately does not fix all rendering bugs found in the current versions of browsers. There is a tracking issue for other known rendering bugs: https://github.com/tmke8/math-core/issues/209
 
@@ -218,6 +238,7 @@ There is no Unicode range for this, so the only way to implement this would be w
 	- This also applies to things like `:=`. Consider using `\coloneqq` instead, which will result in the semantically correct Unicode symbol.
 - Don’t worry about having unnecessary curly braces, like, say, `x_{2}` vs `x_2`. Both result in the same MathML because unnecessary groups are stripped away by this library.
 - Try to avoid using absolute length units like `\hspace{1cm}`. It’s difficult to render them correctly. Instead, use relative length units like `\hspace{2.8em}`.
+- Use `\text{...}` only for prose and not for, e.g., subscripted textual labels as in `D_\text{test}`. In the latter case, use `\mathrm{...}` instead.
 
 ## Alternatives to this library
 

{math_core-0.5.3 → math_core-0.6.0}/crates/math-core/examples/browser_test.rs

@@ -4,9 +4,10 @@ fn main() {
     let inputs = vec![
         // Safari bugs:
         r#"\bar x, \hat x, \check x, \grave x, \breve x, \acute x"#,
-        r#"\vec x, \dot x, \ddot x, \dddot x, \ddddot x"#,
+        r#"\vec x, \mathring x, \tilde x, \dot x, \ddot x, \dddot x, \ddddot x"#,
         r#"x^*"#,
         // Chrome bugs:
+        r#"\widehat x, \widehat{xxxx}"#,
         r#"\widetilde x, \widetilde{xxxx}"#,
         r#"\widecheck x, \widecheck{xxxx}"#,
         r#"\overline x, \overline{xxxx}"#,
@@ -21,6 +22,7 @@ fn main() {
 
     let converter = LatexToMathML::new(MathCoreConfig {
         pretty_print: PrettyPrint::Always,
+        allow_unreliable_rendering: true,
         ..Default::default()
     })
     .unwrap();

{math_core-0.5.3 → math_core-0.6.0}/crates/math-core/examples/equations.rs

@@ -18,7 +18,7 @@ fn main() {
         r#"\overparen{x\times\cdots\times x}, \overparen{x\times\cdots\times x}^{n}, \underparen{x\times\cdots\times x}, \underparen{x\times\cdots\times x}_{n} ,
         \overbracket{x\times\cdots\times x}, \overbracket{x\times\cdots\times x}^{n}, \underbracket{x\times\cdots\times x}, \underbracket{x\times\cdots\times x}_{n}"#,
         r#"X \overset{f}{\rightarrow} Y \underset{g}{\rightarrow} Z , \ h \eqdef g \circ f"#,
-        r#"\overline{x + y} , \underline{x + y}, \widehat{x + y}, \widetilde{x + y} , \overrightarrow{A + B} , \overleftarrow{A + B}"#,
+        r#"\overline{x + y} , \underline{x + y}, \widehat{x + y}, \overrightarrow{A + B} , \overleftarrow{A + B}"#,
         r#"\left. \frac{\pi}{2} \right\} \, \left( x \right) \, \left\{ \frac12 \right."#,
         r#"\Biggl( \biggl( \Bigl( \bigl( ( ) \bigr) \Bigr) \biggr) \Biggr)"#,
         r#"\mu \left( \bigcup_i E_i \right) = \sum_i \mu ( E_i )"#,
@@ -60,7 +60,7 @@ fn main() {
         r#"\mathcal{C} \times \mathcal{Y}\times\mathcal{P}"#,
         r"a := 2 \land b :\equiv 3 \land f : X\to Y",
         r"f(x):=\begin{cases}0 &\text{if }x\geq 0\\1 &\text{otherwise}\end{cases}",
-        r"\oint_C \vec{B}\circ \mathrm{d}\vec{l} = \mu_0 \left( I_{\mathrm{enc}} + \varepsilon_0 \frac{\mathrm{d}}{\mathrm{d}t} \int_S {\vec{E} \circ \hat{n}}\; \mathrm{d}a \right)",
+        r"\oint_C \vec{B}\circ \mathrm{d}\vec{\ell} = \mu_0 \left( I_{\mathrm{enc}} + \varepsilon_0 \frac{\mathrm{d}}{\mathrm{d}t} \int_S {\vec{E} \circ \hat{n}}\; \mathrm{d}a \right)",
     ];
 
     let converter = LatexToMathML::new(MathCoreConfig {

math_core-0.6.0/crates/math-core/src/character_class.rs

@@ -0,0 +1,194 @@
+use mathml_renderer::{
+    arena::Arena,
+    ast::Node,
+    attribute::{MathSpacing, OpAttrs, RowAttr, Style, TextTransform},
+    symbol::{self, MathMLOperator, OrdCategory, OrdLike, Rel, RelCategory},
+};
+
+#[derive(Debug, Default, Clone, Copy, PartialEq, Eq)]
+pub enum Class {
+    /// `mathord`
+    #[default]
+    Default = 0,
+    /// `mathop`
+    Operator,
+    /// `mathbin`
+    BinaryOp,
+    /// `mathrel`
+    Relation,
+    /// `mathopen`
+    Open,
+    /// `mathclose`
+    Close,
+    /// `mathpunct`
+    Punctuation,
+    /// `mathinner`
+    Inner,
+    /// A class indicating the end of the current formula.
+    End,
+}
+
+#[derive(Debug, Clone, Copy)]
+pub enum ParenType {
+    Left = 1,
+    Right,
+    Middle,
+}
+
+/// <mi> mathvariant attribute
+#[derive(Debug, Clone, Copy)]
+pub enum MathVariant {
+    /// This is enforced by setting `mathvariant="normal"`.
+    Normal,
+    /// This is enforced by transforming the characters themselves.
+    Transform(TextTransform),
+}
+
+#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+pub enum Stretchy {
+    /// The operator is always stretchy (e.g. `(`, `)`).
+    Always = 1,
+    /// The operator is only stretchy as a pre- or postfix operator (e.g. `|`).
+    PrePostfix,
+    /// The operator is never stretchy (e.g. `/`).
+    Never,
+    /// The operator is always stretchy but isn't symmetric (e.g. `↑`).
+    AlwaysAsymmetric,
+}
+
+#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+pub enum DelimiterSpacing {
+    /// Never has any spacing, even when used as an infix operator (e.g. `(`, `)`).
+    Zero,
+    /// Has relation spacing when used as an infix operator, but not when used as a prefix or
+    /// postfix operator (e.g. `|`).
+    InfixRelation,
+    /// Always has relation spacing, even when used as a prefix or postfix operator (e.g. `↑`).
+    Relation,
+    /// Always has some spacing, even when used as a prefix or postfix operator (e.g. `/`).
+    Other,
+}
+
+/// A stretchable operator.
+///
+/// It can be created from an `OrdLike` or a `Rel` if the operator is stretchable. This struct
+/// carries all the information needed to know how to make the operator stretchy and how to set
+/// spacing around it.
+#[derive(Debug, Clone, PartialEq, Eq, Copy)]
+pub struct StretchableOp {
+    op: MathMLOperator,
+    pub stretchy: Stretchy,
+    pub spacing: DelimiterSpacing,
+}
+
+impl StretchableOp {
+    #[inline]
+    pub const fn as_op(self) -> MathMLOperator {
+        self.op
+    }
+
+    /// Creates a `StretchableOp` from an `OrdLike` if it's stretchable. Returns `None` if the
+    /// operator isn't stretchable.
+    pub const fn from_ord(ord: OrdLike) -> Option<Self> {
+        let (stretchy, spacing) = match ord.category() {
+            OrdCategory::F | OrdCategory::G => (Stretchy::Always, DelimiterSpacing::Zero),
+            OrdCategory::FGandForceDefault => {
+                (Stretchy::PrePostfix, DelimiterSpacing::InfixRelation)
+            }
+            OrdCategory::K => (Stretchy::Never, DelimiterSpacing::Zero),
+            OrdCategory::KButUsedToBeB => (Stretchy::Never, DelimiterSpacing::Other),
+            OrdCategory::D | OrdCategory::E | OrdCategory::I | OrdCategory::IK => {
+                return None;
+            }
+        };
+        Some(StretchableOp {
+            op: ord.as_op(),
+            stretchy,
+            spacing,
+        })
+    }
+
+    /// Creates a `StretchableOp` from a `Rel` if it's stretchable. Returns `None` if the operator
+    /// isn't stretchable.
+    pub const fn from_rel(rel: Rel) -> Option<Self> {
+        match rel.category() {
+            RelCategory::A => Some(StretchableOp {
+                op: rel.as_op(),
+                stretchy: Stretchy::AlwaysAsymmetric,
+                spacing: DelimiterSpacing::Relation,
+            }),
+            RelCategory::Default => None,
+        }
+    }
+}
+
+/// Creates a fenced expression where opening and closing delimiters are stretched to fit the height
+/// of the content. If `open` or `close` is `None`, no delimiter will be rendered on that side.
+pub fn fenced<'arena>(
+    arena: &'arena Arena,
+    mut content: Vec<&'arena Node<'arena>>,
+    open: Option<StretchableOp>,
+    close: Option<StretchableOp>,
+    style: Option<Style>,
+) -> Node<'arena> {
+    fn to_operator(delim: Option<StretchableOp>) -> Node<'static> {
+        if let Some(op) = delim {
+            let attrs = if matches!(op.stretchy, Stretchy::Never) {
+                OpAttrs::STRETCHY_TRUE
+            } else {
+                OpAttrs::empty()
+            };
+            let (left, right) = if matches!(
+                op.spacing,
+                DelimiterSpacing::Relation | DelimiterSpacing::Other
+            ) {
+                (Some(MathSpacing::Zero), Some(MathSpacing::Zero))
+            } else {
+                (None, None)
+            };
+            Node::Operator {
+                op: op.as_op(),
+                attrs,
+                size: None,
+                left,
+                right,
+            }
+        } else {
+            // An empty `<mo></mo>` produces weird spacing in some browsers.
+            // Use U+2063 (INVISIBLE SEPARATOR) to work around this. It's in Category K in MathML Core.
+            Node::Operator {
+                op: const { symbol::INVISIBLE_SEPARATOR.as_op() },
+                attrs: OpAttrs::empty(),
+                size: None,
+                left: None,
+                right: None,
+            }
+        }
+    }
+    let open = arena.push(to_operator(open));
+    let close = arena.push(to_operator(close));
+    content.insert(0, open);
+    content.push(close);
+    let nodes = arena.push_slice(&content);
+    Node::Row {
+        nodes,
+        attr: style.map(RowAttr::Style),
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use super::{MathVariant, TextTransform};
+
+    #[test]
+    fn size_test() {
+        assert_eq!(
+            std::mem::size_of::<MathVariant>(),
+            std::mem::size_of::<TextTransform>()
+        );
+        assert_eq!(
+            std::mem::size_of::<Option<MathVariant>>(),
+            std::mem::size_of::<TextTransform>()
+        );
+    }
+}