Also I use the definition symbol "≡" to define functions. Most straightforward situation is file(x) ≡ y. I'm applying it to condition a relationship to uncover sums as an alternative to stating it because the sum that we have been deriving however it can be employed to point out equivalence. https://zionvocrf.yomoblog.com/43105487/the-fact-about-por-qué-es-bueno-leer-el-tarot-that-no-one-is-suggesting