mysql-tail

mysql-tail a script for temporarily enabling mysql's general_log and then tailing the output. usage: mysql-tail [connect args] $ mysql-tail -uroot -p The script will prompt you »

Logic Symbols

Logic symbols from Deductive Logic by Terry Halpin ⊃ hook implies if ... then p ⊃ q is false iff p is true and q is false »