SEAL: Semantically Enriched Authoring in LATEX—A Model for Scientific Discourse | IEEE Journals & Magazine | IEEE Xplore