TeX source:

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