12,144
edits
Changes
→Over And Under Setting
|}
|}
==Over And Under Setting==
==Type Markers==
===Composer P===
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
\end{array}</math>
\end{array}</math>
|}
|}
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
\end{array}</math>
\end{array}</math>
|}
|}
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
|}
|}
<br>
{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{l}
((x \underset{A}{\Downarrow} ~y \overset{A}{\underset{B}{\Downarrow}}) \underset{B}{\Downarrow} ~z \overset{B}{\underset{C}{\Downarrow}}) \underset{C}{\Downarrow}
\end{array}</math>
|}
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
<math>\begin{array}{l}
<math>\begin{array}{l}
((x \underset{A}{\Downarrow} ~y \overset{A}{\underset{B}{\Downarrow}}) \underset{B}{\Downarrow} ~z \overset{B}{\underset{C}{\Downarrow}}) \underset{C}{\Downarrow}
((x \underset{A}{\Downarrow} ~y \overset{A}{\underset{B}{\Downarrow}}) \underset{B}{\Downarrow} ~z \overset{B}{\underset{C}{\Downarrow}}) \underset{C}{\Downarrow}
\\ \\
=
\\ \\
(x \underset{A}{\Downarrow}
~ (y \overset{A}{\underset{B}{\Downarrow}}
~ (z \overset{B}{\underset{C}{\Downarrow}}
~ P \overset{B \Rightarrow C}{\underset{(A \Rightarrow B) \Rightarrow (A \Rightarrow C)}{\Downarrow}})\overset{A \Rightarrow B}{\underset{B \Rightarrow C}{\Downarrow}} )\overset{A}{\underset{C}{\Downarrow}})\underset{C}{\Downarrow}
\end{array}</math>
\end{array}</math>
|}
|}
<br>
===Transposer T===
<pre>
B=>C C B=>C B=>(A=>C) A=>C C
(y: (x: z: ): ): = (x: (y: (z: T: ): ): ):
B A A B C A B A A=>(B=>C) B A C
</pre>
==Over And Under Setting==
<ol style="list-style-type:decimal">
<ol style="list-style-type:decimal">