Smaller license header
Add google search
Fix LaTeX commands