Garbage names in the cas vars menu

[FrankP]

On my Android Emu changing "∫" to "int" in line

PHP Code:

// v:=∫(f,x,a[1],b[1]);
v:=int(f,x,a[1],b[1]); 


avoided mem garbage generation. Maybe helps also in your case?