@@ -805,7 +805,11 @@ nonbreakingSpace = char '~' >> return (Str "\160")
806-- hard line break
806-- hard line break
807linebreak :: GenParser Char st Inline
807linebreak :: GenParser Char st Inline
810+ optional $ bracketedText '[' ']' -- e.g. \\[10pt]
808−linebreak = try (string "\\\\") >> return LineBreak
812+ return LineBreak
810str :: GenParser Char st Inline
814str :: GenParser Char st Inline
811str = many1 (noneOf specialChars) >>= return . Str
815str = many1 (noneOf specialChars) >>= return . Str