| U2 | Quantum.Synthesis.Matrix |
| u2_E | Quantum.Synthesis.CliffordT |
| u2_H | Quantum.Synthesis.CliffordT |
| u2_of_gate | Quantum.Synthesis.CliffordT |
| u2_S | Quantum.Synthesis.CliffordT |
| u2_T | Quantum.Synthesis.CliffordT |
| u2_W | Quantum.Synthesis.CliffordT |
| u2_X | Quantum.Synthesis.CliffordT |
| u2_Y | Quantum.Synthesis.CliffordT |
| u2_Z | Quantum.Synthesis.CliffordT |
| unary_fun | Quantum.Synthesis.SymReal |
| unary_op | Quantum.Synthesis.SymReal |
| unitdisk | Quantum.Synthesis.GridProblems |
| unMatrix | Quantum.Synthesis.Matrix |
| unRationals | Quantum.Synthesis.Ring |
| untick | Quantum.Synthesis.StepComp |
| uprightness | Quantum.Synthesis.GridProblems |