{"action":"closed","issue":{"url":"https://api.github.com/repos/Javran/adding-gradual-types/issues/9","repository_url":"https://api.github.com/repos/Javran/adding-gradual-types","labels_url":"https://api.github.com/repos/Javran/adding-gradual-types/issues/9/labels{/name}","comments_url":"https://api.github.com/repos/Javran/adding-gradual-types/issues/9/comments","events_url":"https://api.github.com/repos/Javran/adding-gradual-types/issues/9/events","html_url":"https://github.com/Javran/adding-gradual-types/issues/9","id":322417221,"number":9,"title":"typesetting syntax for types","user":{"login":"Javran","id":1096354,"avatar_url":"https://avatars1.githubusercontent.com/u/1096354?v=4","gravatar_id":"","url":"https://api.github.com/users/Javran","html_url":"https://github.com/Javran","followers_url":"https://api.github.com/users/Javran/followers","following_url":"https://api.github.com/users/Javran/following{/other_user}","gists_url":"https://api.github.com/users/Javran/gists{/gist_id}","starred_url":"https://api.github.com/users/Javran/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Javran/subscriptions","organizations_url":"https://api.github.com/users/Javran/orgs","repos_url":"https://api.github.com/users/Javran/repos","events_url":"https://api.github.com/users/Javran/events{/privacy}","received_events_url":"https://api.github.com/users/Javran/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-05-11T20:01:05Z","updated_at":"2018-05-17T21:31:01Z","closed_at":"2018-05-17T21:31:01Z","author_association":"OWNER","body":"In Reticulated Python paper, they have the following type syntax:\r\n\r\n![2018-05-11_155811_3360x1080_scrot](https://user-images.githubusercontent.com/1096354/39944316-34c2654e-5534-11e8-9655-ff18192a9c68.jpg)\r\n\r\nI'm wondering how to do this with TeX, the only thing I can think of is using `align*` environment, are there better options?"}}
{"actor":{"display_login":"Javran"}}