{"action":"closed","issue":{"url":"https://api.github.com/repos/UniMath/UniMath/issues/453","repository_url":"https://api.github.com/repos/UniMath/UniMath","labels_url":"https://api.github.com/repos/UniMath/UniMath/issues/453/labels{/name}","comments_url":"https://api.github.com/repos/UniMath/UniMath/issues/453/comments","events_url":"https://api.github.com/repos/UniMath/UniMath/issues/453/events","html_url":"https://github.com/UniMath/UniMath/issues/453","id":175803921,"number":453,"title":"Compilation of LaTeX doc fails","user":{"login":"benediktahrens","id":1106102,"avatar_url":"https://avatars.githubusercontent.com/u/1106102?v=3","gravatar_id":"","url":"https://api.github.com/users/benediktahrens","html_url":"https://github.com/benediktahrens","followers_url":"https://api.github.com/users/benediktahrens/followers","following_url":"https://api.github.com/users/benediktahrens/following{/other_user}","gists_url":"https://api.github.com/users/benediktahrens/gists{/gist_id}","starred_url":"https://api.github.com/users/benediktahrens/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/benediktahrens/subscriptions","organizations_url":"https://api.github.com/users/benediktahrens/orgs","repos_url":"https://api.github.com/users/benediktahrens/repos","events_url":"https://api.github.com/users/benediktahrens/events{/privacy}","received_events_url":"https://api.github.com/users/benediktahrens/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-09-08T16:46:23Z","updated_at":"2016-09-14T15:44:21Z","closed_at":"2016-09-14T15:44:21Z","body":"The preamble needs to be amended by code for the chimney symbol:\r\n\r\n```\r\n! Package ucs Error: Unknown Unicode character 9565 = U+255D,\r\n(ucs)                possibly declared in uni-37.def.\r\n(ucs)                Type H to see if it is available with options.\r\n\r\nSee the ucs package documentation for explanation.\r\nType  H <return>  for immediate help.\r\n ...                                              \r\n                                                  \r\nl.3007 ....:type scope:x 'xE2x95x9D' x}{\"}{\"}a ╝\r\n                                                   b\" := (\\coqref{UniMath.Fo...\r\n\r\n```"}}
{"actor":{"display_login":"DanGrayson"}}