Rewrite Rulesbase/big-delimiter-size-drop

base/big-delimiter-size-drop

Drop the fixed delimiter size imposed by \big.

Rewrite patterns#

  1. ordinary-delimiter\big ((
  2. scripted-ordinary-delimiter\big (_{#1}(_{#1}
  3. literal-left-angle\big <\langle
  4. literal-right-angle\big >\rangle
  5. control-left-angle\big\lt\langle
  6. control-right-angle\big\gt\rangle
  7. null-delimiter\big .∅ removed
  8. scripted-null-delimiter\big ._{#1}{}_{#1}

Examples#

Each example shows this rule applied in isolation. A complete normalization profile may make additional changes.

Ordinary delimiter#

Before

a\big(b

After this rule

a(b

The rendered result has pixel differences from the input.

Scripted ordinary delimiter#

Before

a\big(_i b

After this rule

a(_i b

The rendered result has pixel differences from the input.

Literal left angle#

Before

a\big<b

After this rule

a\langle b

The rendered result has pixel differences from the input.

Literal right angle#

Before

a\big>b

After this rule

a\rangle b

The rendered result has pixel differences from the input.

Control left angle#

Before

a\big\lt b

After this rule

a\langle b

The rendered result has pixel differences from the input.

Control right angle#

Before

a\big\gt b

After this rule

a\rangle b

The rendered result has pixel differences from the input.

Remaining 2 examples#

Listed as LaTeX source. Hover over, focus, or tap a row to preview the rendering before and after. Each renders the same as its input with the declared packages.

ExampleBeforeAfter this rule
Null delimitera\big.bab
Scripted null delimitera\big._i ba{}_i b

Upstream rules#

Same family#

Notes#

The existing class-variant rules produce this canonical size-tier command, so their produces-to-consumes dependency supplies the ordering. Dropping a visibly salient size tier loses grouping emphasis and visual hierarchy, so the output first enters Equiv; preserving delimiter identity, reading order, and structural role still supports Reading fidelity. The rule emits a canonical bare spelling for the delimiter identity: literal or control-sequence <, >, \lt, and \gt delimiters denote angle brackets here and must become \langle or \rangle rather than bare relation notation. A null delimiter may disappear only when doing so preserves slot and script binding; otherwise retain a necessary empty group.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["base/big-delimiter-size-drop"])
new TransformEngine({ profile: 'corpus', disableRules: ['base/big-delimiter-size-drop'] })

Open in Playground