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