# \restriction

The ↾ symbol (Upwards harpoon with barb rightwards, U+21BE), written as \restriction in LaTeX math mode.

https://texform.dev/latex/symbols/restriction

## Metadata

| Field | Value |
| --- | --- |
| Topic | [Arrows](https://texform.dev/latex/topics/arrows) |
| Packages | ams |
| Allowed mode | math |
| Glyph | ↾ |
| Unicode | U+21BE UPWARDS HARPOON WITH BARB RIGHTWARDS |
| Delimiter | No |

## Syntax

```latex
\restriction
```

Takes no arguments.

## Usage frequency

0.01% of formulas in the measured corpus contain this entry, rank 220 of 474 entries with frequency data.

## In TeXForm

TeXForm parses this entry as a character leaf mapped to U+21BE (UPWARDS HARPOON WITH BARB RIGHTWARDS).

### [ams/restriction-to-upharpoonright](https://texform.dev/rules/ams/restriction-to-upharpoonright)

Normalize restriction to upharpoonright for corpus form.

Level: faithful. Fidelity: render.

```latex
\restriction
```

→

```latex
\upharpoonright
```

```latex
A \restriction B
```

→

```latex
A \upharpoonright B
```