તે સિન ટેક્સ તરીકે પણ ઓળખાય છે.