User blog comment:DontDrinkH20/Some Explanations of Certain Large Cardinals/@comment-35870936-20181017021650/@comment-35470197-20181017214258

> Ecl1psed is not referring to replacing actual large cardinals with symbols in OCFs, but rather replacing them with smaller ordinals that can still behave like their larger counterparts.

I know it. My links explain that such a replacement does not necessarily work in a desired way.

> This is possible: for example, instead of using regular cardinals in Buccholz's OCF, we could use admissible ordinals.

This is possible for Buchholz's OCF because it only uses cardinals. But is not necessarily possible for OCFs with large cardinals.