# base/over-to-frac

Rewrite infix over to an explicit frac command.

https://texform.dev/rules/base/over-to-frac

## Metadata

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

## Rewrite patterns

From:

```latex
#1 \over #2
```

To:

```latex
\frac{#1}{#2}
```

## Examples

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

### Stacked over fraction

Before:

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

After this rule:

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

Packages: base.

Rendering verified with the declared packages.

### Braced over in expression

Before:

```latex
1+{a+b \over c+d}
```

After this rule:

```latex
1+\frac{a+b}{c+d}
```

Packages: base.

Rendering verified with the declared packages.

## Triggers

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

## Eliminates

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

## Produces

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

## 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/overwithdelims-to-genfrac](https://texform.dev/rules/base/overwithdelims-to-genfrac): Rewrite overwithdelims to an explicit genfrac with delimiters.
- [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/over-to-frac"])
```

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

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