Initial Formal Art Using TL