LaTeX Forum

 $\ulcorner$ 

 $\urcorner$ 

 
\documentclass[11pt,openany]{scrbook}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc} 
{amsmath} 
\usepackage{amssymb} 

\begin{document}

\begin{itemize}
	\item $\ulcorner \diamond \alpha \urcorner$ erhält den Wert 1 an w$_n$, wenn es eine von eben jener Welt aus zugängliche Welt w$_m$ ($n = \vee \neq m$) gibt und $\alpha$ an w$_m$ den Wert 1 hat, andernfalls ist $\ulcorner \diamond \alpha \urcorner$ an w$_n$ 0.
	\item $\ulcorner \box \alpha \urcorner$ erhält den Wert 1 an w$_n$, wenn $\alpha$ an allen von w$_n$ aus zugänglichen Welten w$_m$ ($n = \vee \neq m$) 1 ist, andernfalls ist $\ulcorner \box \alpha \urcorner$ 0.
\end{itemize}

\end{document}