++
NonEmptyVector
+++
SymbolicOps
+:
NonEmptyVector
+|+
SymbolicOps
:+
NonEmptyVector
==
NonEmptyVector
Result
?
SymbolicOps
\?/
symbolic
|
SymbolicOps
|@|
Ap2SymbolicOps
Ap3SymbolicOps
Ap4SymbolicOps
Ap5SymbolicOps
Ap6SymbolicOps
Ap7SymbolicOps
Ap8SymbolicOps
SymbolicOps
|||
SymbolicOps
~
SymbolicOps