10 lines
260 B
Markdown
10 lines
260 B
Markdown
```math
|
|
\[ \begin{tblr}{|ccclc|}
|
|
\hline
|
|
& a : s & d & h \begin{bmatrix} a : \mathtt{NAp} \; a_1 \; a_2 \\ a_2 : \mathtt{NInd} \; a_3 \end{bmatrix} & f \\
|
|
\implies & a : s & d & h[a : \mathtt{NAp} \; a_1 \; a_3] & f \\
|
|
\hline
|
|
\end{tblr} \]
|
|
```
|
|
|