fix latex symbol \bot