Rewrite Rulesbase/Bigg-delimiter-size-drop

base/Bigg-delimiter-size-drop

Drop the fixed delimiter size imposed by \Bigg.

Rewrite patterns#

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

Examples#

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

Ordinary delimiter#

Before

a\Bigg(b

After this rule

a(b

The rendered result has pixel differences from the input.

Scripted ordinary delimiter#

Before

a\Bigg(_i b

After this rule

a(_i b

The rendered result has pixel differences from the input.

Literal left angle#

Before

a\Bigg<b

After this rule

a\langle b

The rendered result has pixel differences from the input.

Literal right angle#

Before

a\Bigg>b

After this rule

a\rangle b

The rendered result has pixel differences from the input.

Control left angle#

Before

a\Bigg\lt b

After this rule

a\langle b

The rendered result has pixel differences from the input.

Control right angle#

Before

a\Bigg\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\Bigg.bab
Scripted null delimitera\Bigg._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/Bigg-delimiter-size-drop"])
new TransformEngine({ profile: 'corpus', disableRules: ['base/Bigg-delimiter-size-drop'] })

Open in Playground