genBvert1.eqn

( H ) H [ H ] \[u230a] H \[u230b] H \[u2308] H \[u2309] H \[u2016] H { H } H \[u27e8] H \[u27e9] H \[u21c0] H \[u22f1] H \[u02d9] H