Logic RQ

… ist eine Familie kostenloser, qualitativ hochwertiger Schriften (Mac/PC; PostScript, auf Anfrage TrueType) mit speziellen Symbolen für die Darstellung formallogischer Formeln. Im Augenblick ist nur der folgende Schriftschnitt verfügbar, der aber bereits so ziemlich alle wichtigen Zeichen enthält.

… is a family of free, high-quality computer fonts (Mac/PC; PostScript, TrueType on request) with special glyphs for typesetting of symbolic logic formulas. For now, only a single font face is available, which nevertheless already contains mostly all common symbols.

Logic RQ — Basic One

Dieser Zeichensatz enthält die wichtigsten Operator-Symbole in übersichtlicher Anordnung. Mit dieser Schrift habe ich unter Anderem meine Arbeitsblätter und Übersichten zur formalen Logik erstellt — sie hat sich dabei schon sehr bewährt. Zuletzt geändert: 1. xii. 2002, Schriftversion: 1.1.1.

This font contains the most common operator symbols in clear order. I have used this font for my papers regarding symbolic logic; the font has proofed to be very useful for me that way. Last changed: Dec. 1st 2002, version: 1.1.1.

• Systematische Zeichenübersicht — Character map
  (Nach MacRoman Encoding).
• Assoziative Zeichenübersicht — Mnemonic character map
  (Zeichen geordnet nach Bedeutung und Form).
• PS Typ 1 Font — Macintosh
  Tested and used for a long time now with different applications on MacOS 9.x, esp. with QuarkXPress.
• TrueType Font — Windows
  Tested with Windows 2000 Pro (Word 2002) and Windows NT 4 (Word 1997).