A personal use latex package for highlight the mathematical logic in a text.