割り算の切り上げについて0--4//3という記述を見たのですが、この"--"はなんでしょうか？
切り上げなので、おそらく-(-4 // 3)を短縮した書き方だとは思うのですが。
関数形式の標準演算子
https://docs.python.org/ja/3/library/operator.html
にあるかと思ったのですが、見つかりません…。