Where is the setting to add custom word replacements to autocorrect?

I've used a setting to make it so when I type certain words it automatically replaces them with a particular character/symbol. (e.g. I type "pi" and autocorrect replaces it with π)

But I can no longer seem to find the setting to see what ones I have done and to add a few more. Has this been removed? It still does the replacements I've set up before.

I'm on Android with Swiftkey version 9.12.30.7, only with English(UK) QWERTY

reddit.com
u/TazerZXI — 12 days ago

There's now a Tech House website

In the most recent Tech House video, they announced a website with a 3d render of the house. There's also a list of products they use, and where to buy them, sorted by either room, category, or video featured.

Link:

https://www.thetech.house/

u/TazerZXI — 26 days ago

In the description of this sub, 1 is an element of {0.9, 0.99, 0.999, etc.}, as is 2 and 3?

"The set {0.9, 0.99, 0.999, etc.} is infinite membered, and contain[s?] all finite numbers"

As 1 is clearly a finite number, does this not mean that 1 is contained in the set {0.9, 0.99, 0.999, etc.}? Which to me means that 1 is an element of the set.

Unless there's some alternate definition of "The set {0.9, 0.99, 0.999, etc.} contain x" does not mean x is an element of the set? If so, what is that definition.

u/TazerZXI — 1 month ago