type: abstract 110
type: ambient 110
type: math 110

a>>b

type: abstract 101
type: ambient 101
type: math 101

a>>>b

type: abstract 100
type: math 100
type: other 100

a<b

type: abstract 010
type: math 010

a<<b

type: abstract 001

a<<<b

type: abstract 000