remove controversial skinny angle bracket

Keep the more visibly distinct \lAngle,\rAngle `⟪⟫`.
Also, documentation.