LaTeX Forum

Nein. An einer solchen Stelle brauche ich keinen Schnickschnack, sondern die ganz normalen Operatoren auf der Objektebene der formalen Sprache.

Interessiert Dich das wirklich?

Himmel, wie doof kann ich mich eigentlich noch anstellen...

Vielen Dank!

Hallo zusammen, beim besten Willen habe ich keine Ahnung, was ich nun schon wieder falsch mache. Wenn ich die Cornerquotes (auch " Quinequotes") über $\ulcorner$ und $\urcorner$ zu setzen versuche, radieren sie bestimmte Formeln, die sie eigentlich einschließen sollen, aus. \documentclass[11pt,opena...

Ich glaube, wir reden gerade ein bisschen an einander vorbei. Die modalaussagenlogische Formel: \[\Box p \rightarrow \Diamond p\] beispielsweise kann gelesen werden: "Wenn Box p, dann Diamand p.", und der Modallogiker versteht dich. Machen Techniker sehr gern. Wenn's um die Interpretation geht, dann...

Nochmal hallo :), stimmt: Status ändern! Danke für die Erinnerung. Deinen Kommentar verstehe ich nicht ganz. Ich brauche die Box als Box vor einer Formel, das ist das übliche Zeichen für "Es ist notwendig, dass" in der Modallogik. Nun gibt es zu jeder Sprache auf der Objektebene aber auch eine auf d...

Hallo Sudo, vielen Dank für die Antwort! War ja klar, dass ich da Unsinn habe. :D (Leider sind das halbwegs sinnvolle Benennungen. Ich brauche sie alle und so ziemliche alle doppelt (\forall, \exists, \Box, \Diamond), denn ich habe in meiner Arbeit ein Kapitel zur modalen Prädikatenlogik. :roll: ) L...

Hallo zusammen, ich suche eine Möglichkeit, ausgehen von \Box und \Diamond ein wenig andere Operatoren zusätzlich zu bekommen. \documentclass[11pt,openany]{scrbook} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage{amsmath} \usepackage{amssymb} \begin{document} Formeln auf der objekts...

Hallo noch mal, tja, dann muss ich mich wohl auch daran gewöhnen. Vielen Dank Euch beiden für die Antworten und Hinweise! Aber noch 'was Texnisches, für den Fall, dass sich noch einmal jemand auf der Suche nach der Umsetzung für Normseiten hierher googlet. :wink: Da das sdtpage-package gewolltermaße...

Hallo Besserwisser, wozu eine Normseite da ist, ist schon klar. Aber dieses Aussehen kann doch nicht ernst gemeint sein? :shock: Mich macht ja schon der Flattersatz wahnsinnig. :roll: Ich meine genau das: Eine gewöhnliche Schrift (notfalls auch aus der Arial- oder Times-Roman-Familie), Blocksatz, ab...

Hallo zusammen, heute treibt mich eine Frage zum Umgang mit verlagsseitig geforderten Normseiten zu Euch. Definiert sind diese als Seiten mit 30 Zeilen a 60 Anschlägen, gerne wird dazu auch anderthalbfacher Zeilenabstand gefordert. Das geht natürlich auch technisch fein mit Latex, Lösung ist ein ent...