Do any of you b-greekers know how I may obtain a font package for scripting symbolic notation such as we see in some of the systems of formal logic, e.g., sentential calculus? Al Kidd