diff --git a/snippets/classicalb_snippets.json b/snippets/classicalb_snippets.json index d8c4e80b1d2c4212c9647b9220ffd0fea18ac79d..bfd30a1230b236a5dfdb994518b9fc573f0ab6e6 100644 --- a/snippets/classicalb_snippets.json +++ b/snippets/classicalb_snippets.json @@ -119,7 +119,7 @@ }, "B: -->>": { "prefix": "funcTotalSurjection", - "body": ">->" + "body": "-->>" }, "B: >->>": { "prefix": "funcTotalBijection", @@ -131,11 +131,31 @@ }, "B: >+>": { "prefix": "funcPartialInjection", + "body": ">+>" + }, + "B: +->>": { + "prefix": "funcPartialSurjection", "body": "+->>" }, "B: >+>>": { - "prefix": "funcBijection", + "prefix": "funcPartialBijection", "body": ">+>>" + }, + "B: <->": { + "prefix": "relation", + "body": "<->" + }, + "B: <<->": { + "prefix": "relationTotal", + "body": "<<->" + }, + "B: <->>": { + "prefix": "relationSurjective", + "body": "<->>" + }, + "B: <<->>": { + "prefix": "relationTotalSurjective", + "body": "<<->>" } } } \ No newline at end of file diff --git a/snippets/rmchAddOn_snippets.json b/snippets/rmchAddOn_snippets.json index 59686715dee3cc333fafcfa66c2acaf4251cd607..5bdaa42231ff0f138e10fef168fa8bbc5f04756e 100644 --- a/snippets/rmchAddOn_snippets.json +++ b/snippets/rmchAddOn_snippets.json @@ -110,7 +110,7 @@ }, "B: -->>": { "prefix": "funcTotalSurjection", - "body": ">->" + "body": "-->>" }, "B: >->>": { "prefix": "funcTotalBijection", @@ -122,11 +122,31 @@ }, "B: >+>": { "prefix": "funcPartialInjection", + "body": ">+>" + }, + "B: +->>": { + "prefix": "funcPartialSurjection", "body": "+->>" }, "B: >+>>": { - "prefix": "funcBijection", + "prefix": "funcPartialBijection", "body": ">+>>" + }, + "B: <->": { + "prefix": "relation", + "body": "<->" + }, + "B: <<->": { + "prefix": "relationTotal", + "body": "<<->" + }, + "B: <->>": { + "prefix": "relationSurjective", + "body": "<->>" + }, + "B: <<->>": { + "prefix": "relationTotalSurjective", + "body": "<<->>" } } } \ No newline at end of file