{"action":"created","issue":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/13154","labels_url":"https://api.github.com/repos/JuliaLang/julia/issues/13154/labels{/name}","comments_url":"https://api.github.com/repos/JuliaLang/julia/issues/13154/comments","events_url":"https://api.github.com/repos/JuliaLang/julia/issues/13154/events","html_url":"https://github.com/JuliaLang/julia/issues/13154","id":106625513,"number":13154,"title":"Defining set operators for non-set types?","user":{"login":"eschnett","id":213514,"avatar_url":"https://avatars.githubusercontent.com/u/213514?v=3","gravatar_id":"","url":"https://api.github.com/users/eschnett","html_url":"https://github.com/eschnett","followers_url":"https://api.github.com/users/eschnett/followers","following_url":"https://api.github.com/users/eschnett/following{/other_user}","gists_url":"https://api.github.com/users/eschnett/gists{/gist_id}","starred_url":"https://api.github.com/users/eschnett/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eschnett/subscriptions","organizations_url":"https://api.github.com/users/eschnett/orgs","repos_url":"https://api.github.com/users/eschnett/repos","events_url":"https://api.github.com/users/eschnett/events{/privacy}","received_events_url":"https://api.github.com/users/eschnett/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":6,"created_at":"2015-09-15T19:13:14Z","updated_at":"2015-09-15T20:10:00Z","closed_at":null,"body":"I notice that Base defines certain set operators (`∪ ∩ ⊆`) for all types, but others (`⊊ ⊈`) only for `Set`.\r\n\r\nI am defining my own set-like type and would like to extend these operators. This inconsistency is slightly annoying. There are two possible solutions:\r\n  1. `Set` defines these operators only for `Set`\r\n  1. `Set` defines these globally as alternative to ASCII names such as `union`, `intersect`, `issubset`\r\nI'd be happy with either solution.\r\n\r\nPossible names for the currently undefined operator shortcuts could be (taken from their latex names):\r\n  `⊊` = `issubsetneq`\r\n  `⊈` = `isnsubseteq`\r\n\r\nAt the same time, and similar to the case of `∈` and `∋`, we could define all of these (taken from `latex_symbols.jl`):\r\n    \"\\\\subset\" => \"⊂\",\r\n    \"\\\\supset\" => \"⊃\",\r\n    \"\\\\nsubset\" => \"⊄\",\r\n    \"\\\\nsupset\" => \"⊅\",\r\n    \"\\\\subseteq\" => \"⊆\",\r\n    \"\\\\supseteq\" => \"⊇\",\r\n    \"\\\\nsubseteq\" => \"⊈\",\r\n    \"\\\\nsupseteq\" => \"⊉\",\r\n    \"\\\\subsetneq\" => \"⊊\",\r\n    \"\\\\supsetneq\" => \"⊋\",\r\n"},"comment":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/comments/140523321","html_url":"https://github.com/JuliaLang/julia/issues/13154#issuecomment-140523321","issue_url":"https://api.github.com/repos/JuliaLang/julia/issues/13154","id":140523321,"user":{"login":"ScottPJones","id":11798751,"avatar_url":"https://avatars.githubusercontent.com/u/11798751?v=3","gravatar_id":"","url":"https://api.github.com/users/ScottPJones","html_url":"https://github.com/ScottPJones","followers_url":"https://api.github.com/users/ScottPJones/followers","following_url":"https://api.github.com/users/ScottPJones/following{/other_user}","gists_url":"https://api.github.com/users/ScottPJones/gists{/gist_id}","starred_url":"https://api.github.com/users/ScottPJones/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ScottPJones/subscriptions","organizations_url":"https://api.github.com/users/ScottPJones/orgs","repos_url":"https://api.github.com/users/ScottPJones/repos","events_url":"https://api.github.com/users/ScottPJones/events{/privacy}","received_events_url":"https://api.github.com/users/ScottPJones/received_events","type":"User","site_admin":false},"created_at":"2015-09-15T20:10:00Z","updated_at":"2015-09-15T20:10:00Z","body":"Instead of `issubsetneq`, what about `ispropersubset`?"}}