TeX source:

( 1,0,0 ) \times ( 0,1,1 ) _ { 12 }