A note-taking language