# Tangram II

res_word_chars: &letters _
comment1:
comment2: /* */
quote2: " "  ' '

# +word   => word -> {\\ttb{}word}
# ~word	  => word -> {\\tts{}word}
# $x ->   => x    -> \\(y\\)
# x	y => x    -> y

# Tangram reserved words
+Const
+Declaration
+Events
+Float
+Initialization
+Integer
+Messages
+name
+Object
+Port
+prob
+State
+State_vars
+Rewards
+Var
# Experimental:
~msg_data
~msg_rec

# C reserved words
+else
+for
+if
+int
+while

# Mathematical translations.
$<	<
$>	>
$<=	\le
$>=	\ge
$~=     \neq
$&&	\land

# Arbitrary translations
.{	\{
.}	\}
.\	\verb|\|