Getting Started with Notation 1