Spec for GuideGuide Notation