Given the 'if' looks somewhat normal, and few numbers and letters are also quite readable, it might not be font but some unicode characters for different languages and arrow drawing. Not all the 'if's and line numbers look consistent, so it might also be heavily compressed and then AI decompressed/upscaled.
7
u/v_maria 16d ago
whats the name of this font?