Lists can be constructed by expressions enclosed in special brackets
[* and *].
[* *] : -> List
The empty list.
Given a list of expressions e_1, ..., e_n, defining elements a_1, a_2, ..., a_n, create the list containing a_1, a_2, ..., a_n.[Next] [Prev] [Right] [Left] [Up] [Index] [Root]