Support logical implication (==>) in annotations#115

coord-e wants to merge 2 commits into

maincoord-e/thrust:mainfrom

claude/zealous-lamport-7nSnVcoord-e/thrust:claude/zealous-lamport-7nSnVCopy head branch name to clipboard