LM_vdash, LM_dashv, LM_bowtie,
LM_mp, LM_bigtriangleup, LM_ominus, LM_uplus, LM_bigtriangledown,
LM_sqcap, LM_triangleright, LM_sqcup, LM_triangleleft, LM_odot, LM_star,
LM_vdash, LM_dashv, LM_bowtie,
LM_mp, LM_bigtriangleup, LM_ominus, LM_uplus, LM_bigtriangledown,
LM_sqcap, LM_triangleright, LM_sqcup, LM_triangleleft, LM_odot, LM_star,