Didn't Microsoft introduce some kind of collaborative OneNote-like program that also does recognition of common symbols (arrows, boxes, etc?). Similar to Google's Jamboard software? I thought I remembered seeing this in one of their Surface presentations but can't seem to find it now.