{"comment":{"url":"https://api.github.com/repos/natestemen/rudin/comments/27837480","html_url":"https://github.com/natestemen/rudin/commit/28cb4303322d66738d213be0105dc13b3f138179#commitcomment-27837480","id":27837480,"user":{"login":"natestemen","id":12703123,"avatar_url":"https://avatars3.githubusercontent.com/u/12703123?v=4","gravatar_id":"","url":"https://api.github.com/users/natestemen","html_url":"https://github.com/natestemen","followers_url":"https://api.github.com/users/natestemen/followers","following_url":"https://api.github.com/users/natestemen/following{/other_user}","gists_url":"https://api.github.com/users/natestemen/gists{/gist_id}","starred_url":"https://api.github.com/users/natestemen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/natestemen/subscriptions","organizations_url":"https://api.github.com/users/natestemen/orgs","repos_url":"https://api.github.com/users/natestemen/repos","events_url":"https://api.github.com/users/natestemen/events{/privacy}","received_events_url":"https://api.github.com/users/natestemen/received_events","type":"User","site_admin":false},"position":16,"line":227,"path":"content/02-basic-topology/00-finite-countable-and-uncountable-sets.tex","commit_id":"28cb4303322d66738d213be0105dc13b3f138179","created_at":"2018-02-28T13:53:03Z","updated_at":"2018-02-28T13:53:03Z","author_association":"OWNER","body":"I think `\\to` is a more semantic and useful (not to mention shorter) command instead of `\\rightarrow`."}}
{"actor":{"display_login":"natestemen"}}