# base/overwithdelims-to-genfrac

Rewrite overwithdelims to an explicit genfrac with delimiters.

https://texform.dev/rules/base/overwithdelims-to-genfrac

## Metadata

| Field | Value |
| --- | --- |
| Key | base/overwithdelims-to-genfrac |
| Level | authoring |
| Fidelity | render |
| Enabled by packages | base |
| Profiles | Authoring, Faithful, Corpus, Equiv |

## Rewrite patterns

From:

```latex
#1 \overwithdelims #2 #3 #4
```

To:

```latex
\genfrac{#2}{#3}{}{}{#1}{#4}
```

## Examples

Examples show the rule in isolation, not a complete normalization profile.

### Parenthesized genfrac

Before:

```latex
x_1+\cdots+x_m \overwithdelims ( ) \sum_{j=1}^{n} y_j
```

After this rule:

```latex
\genfrac{(}{)}{}{}{x_1+\cdots+x_m}{\sum_{j=1}^{n} y_j}
```

Packages: base, ams.

Rendering verified with the declared packages.

### Bracket delimited genfrac

Before:

```latex
u+v \overwithdelims [ ] w+z
```

After this rule:

```latex
\genfrac{[}{]}{}{}{u+v}{w+z}
```

Packages: base, ams.

Rendering verified with the declared packages.

## Triggers

- [\\overwithdelims](https://texform.dev/latex/commands/overwithdelims)

## Eliminates

- [\\overwithdelims](https://texform.dev/latex/commands/overwithdelims)

## Produces

- [\\genfrac](https://texform.dev/latex/commands/genfrac)

## Same family

- [ams/cfrac-to-frac](https://texform.dev/rules/ams/cfrac-to-frac): Drop continued-fraction styling from centered AMS cfrac forms.
- [ams/dbinom-and-tbinom-to-binom](https://texform.dev/rules/ams/dbinom-and-tbinom-to-binom): Rewrite AMS display-style and text-style binomial commands to binom.
- [ams/dfrac-to-frac](https://texform.dev/rules/ams/dfrac-to-frac): Rewrite the AMS display-style fraction command to frac.
- [ams/tfrac-to-frac](https://texform.dev/rules/ams/tfrac-to-frac): Rewrite the AMS text-style fraction command to frac.
- [base/above-to-genfrac](https://texform.dev/rules/base/above-to-genfrac): Rewrite above to a thickness-preserving genfrac form.
- [base/abovewithdelims-to-genfrac](https://texform.dev/rules/base/abovewithdelims-to-genfrac): Rewrite abovewithdelims to an explicit genfrac with delimiters and thickness.
- [base/atop-to-genfrac](https://texform.dev/rules/base/atop-to-genfrac): Rewrite infix atop to an explicit no-rule genfrac form.
- [base/atopwithdelims-to-genfrac](https://texform.dev/rules/base/atopwithdelims-to-genfrac): Rewrite atopwithdelims to an explicit delimited no-rule genfrac form.
- [base/brace-to-genfrac](https://texform.dev/rules/base/brace-to-genfrac): Rewrite infix brace to an explicit genfrac with brace delimiters.
- [base/brack-to-genfrac](https://texform.dev/rules/base/brack-to-genfrac): Rewrite infix brack to an explicit genfrac with bracket delimiters.
- [base/choose-to-binom](https://texform.dev/rules/base/choose-to-binom): Rewrite infix choose to an explicit binom command.
- [base/over-to-frac](https://texform.dev/rules/base/over-to-frac): Rewrite infix over to an explicit frac command.
- [base/root-of-to-sqrt](https://texform.dev/rules/base/root-of-to-sqrt): Rewrite legacy root-of syntax to bracketed sqrt notation.
- [base/leftroot-drop](https://texform.dev/rules/base/leftroot-drop): Drop the leftroot index-position hint in cleanup-oriented normalization.
- [base/uproot-drop](https://texform.dev/rules/base/uproot-drop): Drop the uproot index-position hint in cleanup-oriented normalization.

## Disable this rule

```python
TransformEngine(profile="corpus", disable_rules=["base/overwithdelims-to-genfrac"])
```

```javascript
new TransformEngine({ profile: 'corpus', disableRules: ['base/overwithdelims-to-genfrac'] })
```

[Open in Playground](https://play.texform.dev/?input=x_1%2B%5Ccdots%2Bx_m+%5Coverwithdelims+%28+%29+%5Csum_%7Bj%3D1%7D%5E%7Bn%7D+y_j)