Вопрос про LaTeX.

[thesz]

Как заставить LaTeX сделать что-то наподобие такого:Текст на LaTeXЧто хочу получить\code{
data Z = Z
data S n = S n
two = S (S Z)}
data Z = Z
data S n = S n
two = S (S Z)Другими словами, код в рамочке.

Я попробовал \newcommand{\code}[1]{\framebox{\tt #1}}, но он, хотя и делает рамочку, весь текст в ней вытягивает в цепочку, вот так: data Z = Z data S n = S n two = S (S Z). Расставление \\ в нужных местах не дает никакого эффекта.

Куда смотреть, а?

PS
Штука называется singleton types, кстати.
PPS
Мое решение:\newcommand{\hask}[1]{\fbox{\tt \parbox{6cm}{#1}}}

Вроде, работает.